Annotations #1047

Job	Run time
clang-format	5m 53s
Docker	8m 15s
Coverage (STP)	29m 21s
Coverage (Z3)	45m 45s
Linux (LLVM 14)	12m 7s
macOS	7m 27s
Linux (LLVM 13)	19m 28s
Linux (LLVM 12)	23m 1s
Linux (LLVM 11, Doxygen)	19m 47s
Linux (LLVM 10)	17m 0s
Linux (LLVM 9)	11m 38s
Linux (ASan)	35m 33s
Linux (UBSan)	33m 37s
Linux (MSan)	57m 47s
Linux (Z3 only)	22m 31s
Linux (metaSMT)	34m 9s
Linux (STP master)	10m 25s
Linux (Latest klee-uclibc)	11m 19s
Linux (Asserts disabled)	11m 37s
Linux (No TCMalloc, optimised runtime)	15m 28s
	7h 12m 8s

Provide feedback