Draft: Ubuntu 20 + GCC 9

Rainer Kartmannrequested to merge
ubuntu20-gcc9 into dev

This MR is primarily there to have an overview over what is currently different between Ubuntu 18 (main/dev) and Ubuntu 20.

Merge request reports