Use gcc 10. Drop Ubuntu 18 as we no longer use it anywhere. #264

Closed snellers closed 2 years ago