[feat] Adds support for reporting errors in SARIF format: #147

Job	Run time
clang-format	44s
Docker	43s
Coverage (STP)	43s
Coverage (Z3)	43s
Coverage (Bitwuzla)	44s
Linux (LLVM 14)	43s
macOS	1s
Linux (LLVM 13)	41s
Linux (LLVM 12)	42s
Linux (LLVM 11, Doxygen)	42s
Linux (LLVM 10)	43s
Linux (LLVM 9)	42s
Linux (ASan)	42s
Linux (UBSan)	1s
Linux (MSan)	42s
Linux (Z3 only)	1s
Linux (metaSMT)	41s
Linux (STP master)	42s
Linux (Bitwuzla only)	41s
Linux (Latest klee-uclibc)	43s
Linux (Asserts disabled)	42s
Linux (No TCMalloc, optimised runtime)	42s
	13m 28s

Provide feedback