Compile as lib for UTBot #938

Job	Run time
clang-format	5m 38s
Docker	16m 12s
Coverage (STP)	45m 54s
Coverage (Z3)	48m 15s
Linux (LLVM 14)	19m 58s
macOS	7m 30s
Linux (LLVM 13)	15m 46s
Linux (LLVM 12)	22m 6s
Linux (LLVM 11, Doxygen)	16m 42s
Linux (LLVM 10)	15m 35s
Linux (LLVM 9)	18m 9s
Linux (ASan)	1h 3m 54s
Linux (UBSan)	49m 34s
Linux (MSan)	1h 38m 59s
Linux (Z3 only)	16m 10s
Linux (metaSMT)	34m 12s
Linux (STP master)	20m 46s
Linux (Latest klee-uclibc)	18m 34s
Linux (Asserts disabled)	17m 49s
Linux (No TCMalloc, optimised runtime)	14m 52s
	9h 26m 35s

Provide feedback