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

Job	Run time
Docker	1m 49s
Linux (LLVM 14)	1m 16s
clang-format	5m 48s
Coverage (STP)	2m 56s
Linux (LLVM 13)	1m 10s
macOS	1m 34s
Coverage (Z3)	1m 5s
Linux (LLVM 12)	1m 6s
Coverage (Bitwuzla)	1m 23s
Linux (LLVM 11, Doxygen)	1m 1s
Linux (LLVM 10)	1m 1s
Linux (LLVM 9)	1m 2s
Linux (ASan)	1m 10s
Linux (UBSan)	1s
Linux (MSan)	1m 11s
Linux (Z3 only)	1s
Linux (metaSMT)	1m 16s
Linux (STP master)	57s
Linux (Bitwuzla only)	1m 2s
Linux (Latest klee-uclibc)	1m 17s
Linux (Asserts disabled)	1m 19s
Linux (No TCMalloc, optimised runtime)	59s
	30m 24s

Provide feedback