Add python scripts to build all docker images

Summary

At happens that the CI system fails to update the docker images. This might have drastic consequence, i.e., dune modules cannot be build anymore. Or applications do not work anymore. In order to circumvent the CI issues and to manually update and push the docker images, this MR adds pythons scripts that perform just this. Note that you need to login with a valid access token and have enough permissions to write to the registry in order to push the images.