Fix/ci variables from dumux

Branch name in dumux-docker-ci, which is used as part of the image name, should be passed from dumux ci runs and default to "master" for pipelines run for lecture. This is achieved by overwriting the default with the value from dumux, if given, in the default trigger job's rules section.