Merge branch 'feature/allow4differentDockerImageTag' into 'master'
use a variable to set different docker image tags, default is latest
See merge request !536 (merged)
(cherry picked from commit 69016e12)
188be371 use a variable to set different docker image tags, default is latest
Co-authored-by: Andreas Dedner a.s.dedner@warwick.ac.uk