ci: Use the docker registry

The CI currently rebuild from scratch 3 times a debian docker image. It is much faster to upload a pre-built image.

This is a copy/paste of scripts from glib.