CI: Remove use of Ubuntu 20.04#8613

tautschnig merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-20.04tautschnig/cbmc:no-20.04Copy head branch name to clipboard