Add release workflow to actions

[jdenen]

On a GitHub release, publish Docker image. The release's Git tag is used as the Docker image's tag.