[chore] clang-format CI check replaced with pre-commit hook using cla… #149

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

Provide feedback