Intergration with Cooddy #866

Job	Run time
clang-format	3m 22s
Docker	3m 16s
Coverage (STP)	3m 20s
Coverage (Z3)	3m 16s
Linux (LLVM 14)	3m 16s
macOS	1s
Linux (LLVM 13)	3m 16s
Linux (LLVM 12)	3m 15s
Linux (LLVM 11, Doxygen)	3m 18s
Linux (LLVM 10)	3m 17s
Linux (LLVM 9)	3m 17s
Linux (ASan)	3m 18s
Linux (UBSan)	1s
Linux (MSan)	2m 56s
Linux (Z3 only)	1s
Linux (metaSMT)	3m 16s
Linux (STP master)	1m 4s
Linux (Latest klee-uclibc)	3m 22s
Linux (Asserts disabled)	3m 17s
Linux (No TCMalloc, optimised runtime)	1m 12s
	51m 21s

Provide feedback