Merge branch 'ci-respdiff' into 'master'

CI: run respdiff using docker image in Gitlab CI

See merge request !275
4 jobs for 1.2-merge-master
in 91 minutes and 37 seconds and was queued for 3 seconds