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

Job	Run time
Docker	2m 44s
clang-format	5m 46s
Coverage (STP)	1m 30s
Linux (LLVM 14)	1m 16s
Coverage (Z3)	1m 20s
macOS	1m 15s
Coverage (Bitwuzla)	1m 12s
Linux (LLVM 13)	1m 20s
Linux (LLVM 12)	1m 15s
Linux (LLVM 11, Doxygen)	1m 14s
Linux (LLVM 10)	1m 24s
Linux (LLVM 9)	1m 7s
Linux (ASan)	1m 25s
Linux (UBSan)	22s
Linux (MSan)	1m 6s
Linux (Z3 only)	1s
Linux (metaSMT)	1m 7s
Linux (STP master)	1m 3s
Linux (Bitwuzla only)	1m 13s
Linux (Latest klee-uclibc)	1m 28s
Linux (Asserts disabled)	1m 8s
Linux (No TCMalloc, optimised runtime)	1m 8s
	31m 24s

Provide feedback