Separate branch and block coverage #919

Job	Run time
Coverage (STP)	44m 43s
Coverage (Z3)	41m 58s
Linux (LLVM 14)	23m 44s
Docker	11m 53s
clang-format	5m 58s
Linux (LLVM 13)	16m 16s
Linux (LLVM 12)	18m 18s
macOS	11m 5s
Linux (LLVM 11, Doxygen)	14m 57s
Linux (LLVM 10)	16m 48s
Linux (LLVM 9)	15m 8s
Linux (ASan)	54m 19s
Linux (UBSan)	58m 25s
Linux (MSan)	56m 29s
Linux (Z3 only)	16m 7s
Linux (metaSMT)	33m 34s
Linux (STP master)	22m 46s
Linux (Latest klee-uclibc)	24m 36s
Linux (Asserts disabled)	15m 11s
Linux (No TCMalloc, optimised runtime)	14m 46s
	8h 37m 1s

Provide feedback