Autobuild Docker images and push them to the registry

[besedad]

Building and pushing a Docker image after a tagged release is a manual task. We can make the process automatic by adding a new workflow job.