Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04#3758

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:no-18.04tautschnig/kani:no-18.04Copy head branch name to clipboard