Intergration with Cooddy #805

Job	Run time
Coverage (STP)	4m 29s
Coverage (Z3)	3m 55s
Linux (LLVM 14)	1s
Linux (LLVM 13)	1m 31s
Linux (LLVM 12)	2m 5s
Linux (LLVM 11, Doxygen)	2m 41s
Linux (LLVM 10)	2m 56s
Linux (LLVM 9)	1s
Linux (ASan)	4m 35s
Linux (UBSan)	1s
Linux (MSan)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	1s
Linux (STP master)	1s
Linux (Latest klee-uclibc)	3m 54s
Linux (Asserts disabled)	3m 51s
Linux (No TCMalloc, optimised runtime)	1s
Docker	4m 44s
clang-format	5m 12s
macOS	6m 1s
	46m 2s

Provide feedback