Add docs static html pushing in gitlab ci to docs.technicie.nl

Ghost User
2019-03-27T19:50:16+01:00

This adds docs hosting in the GitLab CI. Instead of docs.thalia.nu this will host the docs on docs.technicie.nl/branch.

Blocked on: https://gitlab.science.ru.nl/thalia/serverconfig/merge_requests/547