Print Z3 version just before running tests

This commit updates makefiles to print Z3 version (as reported by
MachineArithmetic via `Z3 getVersion`) before tests are run. This
is to record the exact Z3 version used when testing in CI logs.

pharo/GNUmakefile

@@ -31,6 +31,7 @@ check-deps: $(PROJECT).image $(PHARO_VM)
 	$(PHARO_VM_HEADLESS) $< check-deps.st
 
 test: $(PROJECT).image $(PHARO_VM)
+	$(PHARO_VM_HEADLESS) $< eval "'Current Z3 version: ', Z3 getVersion storeString"
 	$(PHARO_VM_HEADLESS) $< test --fail-on-failure \
 		'PreSmalltalks-Tests' \
 		'Z3-Tests' \

stx/GNUmakefile

@@ -20,7 +20,10 @@ run: $(STX)
 	$(STX) --package-path ../src --load BaselineOf$(PROJECT)
 
 test: $(STX)
-	$(STX) --package-path ../src --load BaselineOf$(PROJECT) --run Builder::ReportRunner -r Builder::TestReport --fail-on-failure -p Z3-Tests
+	$(STX) --package-path ../src --load BaselineOf$(PROJECT) --run Builder::ReportRunner \
+		-S "Stdout nextPutLine:'Current Z3 version: ', Z3 getVersion storeString" \
+		-r Builder::TestReport --fail-on-failure \
+		-p Z3-Tests
 
 ifndef Z3_SOURCE_DIR
 Z3_SOURCE_DIR=error-Z3-SOURCE-not-defined