[fix, bitwuzla, ci] Fixed Bitwuzla building. Added commit option for … #98

Job	Run time
Docker	2m 53s
macOS	2m 52s
Linux (LLVM 14)	2m 53s
Coverage (STP)	2m 59s
Linux (LLVM 13)	2m 54s
Coverage (Z3)	2m 54s
Linux (LLVM 12)	2m 52s
Coverage (Bitwuzla)	2m 54s
clang-format	2m 54s
Linux (LLVM 11, Doxygen)	2m 52s
Linux (LLVM 10)	2m 53s
Linux (LLVM 9)	2m 52s
Linux (ASan)	2m 52s
Linux (UBSan)	1s
Linux (MSan)	2m 53s
Linux (Z3 only)	1s
Linux (metaSMT)	2m 51s
Linux (STP master)	1s
Linux (Bitwuzla only)	2m 53s
Linux (Latest klee-uclibc)	2m 52s
Linux (Asserts disabled)	2m 53s
Linux (No TCMalloc, optimised runtime)	2m 56s
	54m 55s

Provide feedback