Build Theodolite Docker images using GitLab CI

Corresponding Docker file https://git.se.informatik.uni-kiel.de/she/theodolite/-/blob/master/execution/Dockerfile has to be build in a CI/CD pipeline.