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

Ghost Userrequested to merge
add-docs-push-ci into master

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 Ghost User

Merge request reports