Build CBMC with `cmake` in all "CBMC latest" jobs #6007

Job	Run time
benchcomp-tests	4m 20s
regression (macos-12)	28m 14s
write-json-symtab-regression	11m 56s
regression (ubuntu-20.04)	19m 49s
regression (ubuntu-22.04)	21m 10s
perf	28m 12s
bookrunner	15m 33s
	2h 9m 14s

Provide feedback