Merge branch 'docker-focal' into 'master'

docker: unify images to use ubuntu:focal

See merge request !86
5 jobs for master
in 1 minute and 10 seconds and was queued for 2 seconds