Set new version #993

Job	Run time
clang-format	6m 0s
Coverage (STP)	23m 25s
Docker	17m 12s
Coverage (Z3)	23m 44s
Linux (LLVM 14)	12m 4s
Linux (LLVM 13)	12m 2s
macOS	11m 6s
Linux (LLVM 12)	12m 2s
Linux (LLVM 11, Doxygen)	12m 4s
Linux (LLVM 10)	12m 2s
Linux (LLVM 9)	12m 0s
Linux (ASan)	12m 4s
Linux (UBSan)	11m 42s
Linux (MSan)	12m 3s
Linux (Z3 only)	5m 57s
Linux (metaSMT)	12m 2s
Linux (STP master)	11m 58s
Linux (Latest klee-uclibc)	12m 4s
Linux (Asserts disabled)	11m 45s
Linux (No TCMalloc, optimised runtime)	11m 43s
	4h 14m 59s

Provide feedback