Publish docker images on docker hub

And have a shield point to the new distribution mode

• with https://shields.io/badges/docker-pulls,
• or with https://badgen.net/docker