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

Job	Run time
Linux (LLVM 14)	4m 23s
Docker	3m 25s
Linux (LLVM 13)	4m 20s
clang-format	5m 52s
Coverage (STP)	9m 12s
Linux (LLVM 12)	4m 20s
Coverage (Z3)	8m 56s
macOS	8m 37s
Linux (LLVM 11, Doxygen)	4m 21s
Coverage (Bitwuzla)	9m 11s
Linux (LLVM 10)	4m 22s
Linux (LLVM 9)	4m 19s
Linux (ASan)	4m 23s
Linux (UBSan)	1s
Linux (MSan)	4m 23s
Linux (Z3 only)	51s
Linux (metaSMT)	4m 20s
Linux (STP master)	4m 3s
Linux (Bitwuzla only)	4m 22s
Linux (Latest klee-uclibc)	4m 22s
Linux (Asserts disabled)	4m 23s
Linux (No TCMalloc, optimised runtime)	4m 22s
	1h 46m 48s

Provide feedback