Docker Image

Extend the continuous integration system of our GitLab to generate Docker images of nightly builds as described in https://docs.gitlab.com/ee/ci/docker/using_docker_build.html