Parallel tactic (#9824) #4091

Job	Run time
MacOS JNI cross-compile (ARM64 -> x64) architecture validation	3m 47s
Python build-script unit tests	6s
MacOS build	4m 5s
Python bindings (manylinux Centos AMD64) build	3m 40s
Ubuntu with OCaml on z3-static	4m 3s
Ubuntu build - cmake - releaseSTGcc	4m 6s
MacOS build with CMake	3m 55s
Ubuntu build - python make - MT	3m 51s
Ubuntu build - cmake - debugGcc	3m 52s
Ubuntu build - cmake - debugClang	3m 52s
Python bindings (manylinux Centos ARM64 cross) build	3m 39s
Ubuntu build - python make - ST	3m 52s
Ubuntu build - cmake - releaseClang	3m 52s
Ubuntu with OCaml	3m 52s
	50m 32s

Provide feedback