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

Job	Run time
Docker	8m 8s
clang-format	5m 50s
Coverage (STP)	10m 34s
Linux (LLVM 14)	4m 31s
Coverage (Z3)	10m 34s
macOS	7m 2s
Linux (LLVM 13)	4m 26s
Coverage (Bitwuzla)	10m 15s
Linux (LLVM 12)	4m 30s
Linux (LLVM 11, Doxygen)	4m 27s
Linux (LLVM 10)	4m 28s
Linux (LLVM 9)	4m 24s
Linux (ASan)	4m 27s
Linux (UBSan)	1s
Linux (MSan)	4m 24s
Linux (Z3 only)	1s
Linux (metaSMT)	4m 24s
Linux (STP master)	4m 26s
Linux (Bitwuzla only)	4m 32s
Linux (Latest klee-uclibc)	4m 21s
Linux (Asserts disabled)	4m 11s
Linux (No TCMalloc, optimised runtime)	4m 24s
	1h 54m 20s

Provide feedback