Approximation of tree incrementality for Z3 solver #819

Job	Run time
clang-format	5m 46s
Docker	11m 16s
Coverage (STP)	15m 30s
Coverage (Z3)	15m 47s
Linux (LLVM 14)	9m 57s
Linux (LLVM 13)	9m 59s
Linux (LLVM 12)	10m 0s
Linux (LLVM 11, Doxygen)	9m 57s
Linux (LLVM 10)	9m 39s
Linux (LLVM 9)	10m 4s
Linux (ASan)	9m 59s
Linux (UBSan)	9m 57s
Linux (MSan)	9m 57s
Linux (Z3 only)	9m 59s
Linux (metaSMT)	9m 58s
Linux (STP master)	9m 57s
Linux (Latest klee-uclibc)	9m 58s
Linux (Asserts disabled)	9m 54s
Linux (No TCMalloc, optimised runtime)	9m 54s
macOS	10m 29s
	3h 27m 57s

Provide feedback