Gitlab-CI Docker
Re-enable gitlab-ci until jenkins integration matures.
This will use gitlab's internal CI system together with the CI VM we set up for jenkins. The VM contains a docker testing image that is instantiated when a test run is triggered. We can use the same docker image with gitlab-ci, so transitioning back to jenkins should be fairly easy once the gitlab-jenkins plugin works correctly with the gitlab 8.1 API.