Use Ubuntu 20.04 as docker

Schrödter, Tobiasrequested to merge
fix-docker into master

Need to switch back to Ubuntu 20.04 as 20.10 is no longer supported and couldn't be built anymore.

Merge request reports