Add dumux-docker-ci branch name to image names

The names of images generated in dumux-docker-ci now include the name of the branch they were generated from (dumux-docker-ci#14, dumux-docker-ci!44). Pipelines can select images through the variable DUMUX_DOCKER_CI_BRANCH (default: master), which can be specified when manually starting a pipeline.