Add build pipeline

This MR adds a gitlab-based build pipeline. Build, test, and deployment for nightly builds operate correctly. After this MR has been merged, only the copy job for our file server has to be adjusted and the build trigger for the nightly build needs to set.