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

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

Provide feedback