Upload to dockerhub an existing checkout

[Jacopo]

There is already support for doing this immediately on import. This is for creating a challenge privately and uploading to dockerhub afterwards.

Note that there's already support for downloading the docker-saved image, so it's not super-important.