Intergration with Cooddy #867

Job	Run time
clang-format	5m 48s
Docker	12m 57s
Coverage (STP)	39m 29s
Linux (LLVM 14)	16m 29s
macOS	11m 7s
Coverage (Z3)	43m 1s
Linux (LLVM 13)	16m 27s
Linux (LLVM 12)	16m 12s
Linux (LLVM 11, Doxygen)	16m 32s
Linux (LLVM 10)	16m 19s
Linux (LLVM 9)	16m 32s
Linux (ASan)	16m 32s
Linux (UBSan)	12m 55s
Linux (MSan)	16m 29s
Linux (Z3 only)	10m 37s
Linux (metaSMT)	16m 30s
Linux (STP master)	14m 6s
Linux (Latest klee-uclibc)	16m 32s
Linux (Asserts disabled)	16m 17s
Linux (No TCMalloc, optimised runtime)	15m 49s
	5h 46m 40s

Provide feedback