Add docs static html pushing in gitlab ci to docs.technicie.nl
Short description
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
Edited by Jelle Besseling