Automated publication of docker images on release

[tchataigner]

We should have a docker workflow that automatically publishes tagged docker image when there is a release for a given proof server. We should iterate on the docker workflow created in #219.

On push release/* branch, extract light client name and version, run the workflow with the given values.
On push on dev, release a new latest version for the light clients where the files have been edited.