Log version of z3 installed in CI

For version confirmation. This supports easier debugging for both the
github actions `.yaml` and for future test failures.

Author: thomasspriggs

.github/workflows/pull-request-checks.yaml

@@ -18,6 +18,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install --no-install-recommends -yq gcc gdb g++ maven jq flex bison libxml2-utils ccache cmake z3
+          z3 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -76,6 +77,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install --no-install-recommends -yq clang-10 clang++-10 gdb maven jq flex bison libxml2-utils cpanminus ccache z3
+          z3 --version
           make -C src minisat2-download
           cpanm Thread::Pool::Simple
       - name: Prepare ccache
@@ -129,6 +131,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils dpkg-dev ccache doxygen z3
+          z3 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -171,7 +174,9 @@ jobs:
         with:
           submodules: recursive
       - name: Fetch dependencies
-        run: brew install maven flex bison parallel ccache z3
+        run: |
+          brew install maven flex bison parallel ccache z3
+          z3 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -211,7 +216,9 @@ jobs:
         with:
           submodules: recursive
       - name: Fetch dependencies
-        run: brew install cmake ninja maven flex bison ccache z3
+        run: |
+          brew install cmake ninja maven flex bison ccache z3
+          z3 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -251,6 +258,7 @@ jobs:
           choco install winflexbison3 z3
           nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
           echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
+          z3 --version
       - name: Setup Visual Studio environment
         uses: microsoft/[email protected]
       - name: Prepare ccache
@@ -289,6 +297,7 @@ jobs:
         run: |
           choco install winflexbison3 strawberryperl z3
           nuget install clcache -OutputDirectory "c:\tools" -ExcludeVersion -Version 4.1.0
+          z3 --version
           echo "c:\tools\clcache\clcache-4.1.0" >> $env:GITHUB_PATH
           echo "c:\ProgramData\chocolatey\bin" >> $env:GITHUB_PATH
           echo "c:\Strawberry\" >> $env:GITHUB_PATH
@@ -429,6 +438,7 @@ jobs:
         run: | 
           sudo apt-get update
           sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache z3
+          z3 --version
           # remove libgcc-s1, which isn't normally available in Ubuntu 18.04
           target=$(dpkg-query -W --showformat='${Version}\n' gcc-8-base | head -n 1)
           # libgcc1 uses an epoch, thus the extra 1:
@@ -515,6 +525,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install --no-install-recommends -y g++ gcc binutils flex bison cmake maven jq libxml2-utils openjdk-11-jdk-headless lcov ccache z3
+          z3 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with: