ci: create and push oci-images to the registry
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.
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.