Merge branch 'docker_fix' into 'NIFTy_6'

Pin docker version to 19.03.8

See merge request !492
11 jobs for NIFTy_6 in 9 minutes and 11 seconds (queued for 2 seconds)