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

Job	Run time
Docker	8m 25s
Coverage (STP)	9m 55s
macOS	8m 54s
Coverage (Z3)	9m 53s
Linux (LLVM 14)	4m 57s
clang-format	5m 46s
Coverage (Bitwuzla)	9m 37s
Linux (LLVM 13)	4m 56s
Linux (LLVM 12)	4m 54s
Linux (LLVM 11, Doxygen)	4m 54s
Linux (LLVM 10)	4m 49s
Linux (LLVM 9)	4m 54s
Linux (ASan)	4m 58s
Linux (UBSan)	1s
Linux (MSan)	4m 52s
Linux (Z3 only)	1s
Linux (metaSMT)	4m 54s
Linux (STP master)	4m 55s
Linux (Bitwuzla only)	4m 40s
Linux (Latest klee-uclibc)	4m 51s
Linux (Asserts disabled)	4m 44s
Linux (No TCMalloc, optimised runtime)	4m 53s
	2h 0m 43s

Provide feedback