Approximation of tree incrementality for Z3 solver #803

Job	Run time
clang-format	5m 1s
Docker	14m 52s
Coverage (STP)	31m 16s
Coverage (Z3)	38m 0s
Linux (LLVM 14)	13m 30s
Linux (LLVM 13)	16m 5s
Linux (LLVM 12)	17m 22s
Linux (LLVM 11, Doxygen)	14m 5s
Linux (LLVM 10)	16m 6s
Linux (LLVM 9)	12m 51s
Linux (ASan)	35m 26s
Linux (UBSan)	38m 30s
Linux (MSan)	53m 54s
Linux (Z3 only)	13m 29s
Linux (metaSMT)	30m 47s
Linux (STP master)	13m 16s
Linux (Latest klee-uclibc)	21m 8s
Linux (Asserts disabled)	14m 35s
Linux (No TCMalloc, optimised runtime)	15m 42s
macOS	13m 18s
	7h 9m 13s

Provide feedback