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.
Security patches are applied between 17:30 and 18:00 today. Only a short interruption should occur.
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.