Intergration with Cooddy #776

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

Provide feedback