ci: Remove Ubuntu 18.04 (and gcc 5 / 6)#12950

bwbarrett merged 2 commits intoopen-mpi:mainopen-mpi/ompi:mainfrom

bwbarrett:cleanup/jenkins-retire-old-stuffbwbarrett/ompi:cleanup/jenkins-retire-old-stuffCopy head branch name to clipboard