Really push to Docker Hub.

I can leave the automated builds in Docker Hub, but this way the images
will be identical and the hashes will match.