Separate branch and block coverage #915

Job	Run time
clang-format	5m 46s
Docker	16m 5s
Coverage (STP)	39m 48s
Linux (LLVM 14)	16m 0s
Coverage (Z3)	57m 45s
macOS	6m 34s
Linux (LLVM 13)	14m 47s
Linux (LLVM 12)	18m 0s
Linux (LLVM 11, Doxygen)	20m 16s
Linux (LLVM 10)	21m 14s
Linux (LLVM 9)	19m 45s
Linux (ASan)	23m 27s
Linux (UBSan)	17m 51s
Linux (MSan)	19m 19s
Linux (Z3 only)	10m 33s
Linux (metaSMT)	19m 56s
Linux (STP master)	16m 30s
Linux (Latest klee-uclibc)	16m 37s
Linux (Asserts disabled)	22m 59s
Linux (No TCMalloc, optimised runtime)	16m 3s
	6h 39m 15s

Provide feedback