Automated publication of docker images on release

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.

Start by reviewing the Docker workflow created in issue #219 and trace how it handles release/* and dev pushes. The work is done when release pushes publish versioned images for the identified light client and dev edits publish the corresponding latest images.

Written by the indexing model from the issue text.