Fix CI deps for Bitwuzla installation (stanford-centaur#347)

* Install meson in CI

* Install ninja in CI

.github/workflows/ci.yml

@@ -19,13 +19,15 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             cmake \
+            ninja-build \
             libgmp-dev \
             openjdk-8-jdk
 
       - name: Install Packages (macOS)
         if: runner.os == 'macOS'
         run: |
           brew install \
+            ninja \
             gmp
 
       - name: Python Environment Setup
@@ -34,7 +36,7 @@ jobs:
           echo "$PWD/.venv/bin" >> $GITHUB_PATH
 
       - name: Python Dependencies (all)
-        run: python3 -m pip install Cython pytest pyparsing toml
+        run: python3 -m pip install Cython pytest pyparsing toml meson
 
       - name: Python Dependencies (all)
         run: python3 -m pip install scikit-build