Release v0.4.5

allow manual rebuild of the docker image

The docker image was only built when a version tag was pushed. To get
the newest base image without a new release, the workflow can now be
started manually from the web interface. The base image is always
pulled to make sure the newest version is used.