Get rid of Dockerhub

We already started pushing all our image to GitHub container registry in addition to DockerHub. From the next release on, we will only push image to GitHub or our own container registry if available then.

We might want to consider still pushing releases to DockerHub, but maybe that's just unnecessary maintenance work.