Push container image on Docker Hub

[lbroudoux]

As of today, our container image is only distributed via Quay.io. It could be nice to also sync it to Docker Hub for better visibility/reachability as well as complementary tools.

[lbroudoux]

Now done! See https://hub.docker.com/r/microcks/microcks-hub