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

Job	Run time
Coverage (STP)	3m 41s
Linux (LLVM 14)	3m 34s
Coverage (Z3)	3m 39s
Docker	3m 37s
clang-format	3m 38s
Linux (LLVM 13)	3m 36s
Coverage (Bitwuzla)	3m 37s
Linux (LLVM 12)	3m 37s
Linux (LLVM 11, Doxygen)	3m 36s
macOS	4m 20s
Linux (LLVM 10)	3m 38s
Linux (LLVM 9)	3m 36s
Linux (ASan)	3m 37s
Linux (UBSan)	3m 39s
Linux (MSan)	3m 34s
Linux (Z3 only)	1s
Linux (metaSMT)	3m 34s
Linux (STP master)	3m 34s
Linux (Bitwuzla only)	3m 35s
Linux (Latest klee-uclibc)	3m 36s
Linux (Asserts disabled)	3m 37s
Linux (No TCMalloc, optimised runtime)	1s
	1h 12m 57s

Provide feedback