The docker-compose file can now use registry images from git.uni-jena.de instead of always building them locally. The CI builds them and pushes them to the registry.