Compile as lib for UTBot #937

Job	Run time
Docker	11m 57s
clang-format	6m 13s
Coverage (STP)	46m 45s
Coverage (Z3)	40m 19s
macOS	7m 29s
Linux (LLVM 14)	19m 48s
Linux (LLVM 13)	19m 49s
Linux (LLVM 12)	21m 33s
Linux (LLVM 11, Doxygen)	18m 17s
Linux (LLVM 10)	14m 22s
Linux (LLVM 9)	22m 17s
Linux (ASan)	48m 48s
Linux (UBSan)	57m 4s
Linux (MSan)	1h 17m 2s
Linux (Z3 only)	21m 57s
Linux (metaSMT)	42m 27s
Linux (STP master)	18m 25s
Linux (Latest klee-uclibc)	20m 26s
Linux (Asserts disabled)	20m 49s
Linux (No TCMalloc, optimised runtime)	14m 44s
	9h 10m 31s

Provide feedback