Delete/move docker registry repositories when the gitlab projects are moved/deleted
Description
When a project is moved, renamed, or deleted in GitLab, the associated docker registry repositories aren't updated. This leaves a lot of pollution in the docker registry, and would possibly re-use bad images if a new project is created with the name of an old project.
Proposal
Synchronise the docker registry with the gitlab projects.