fix: Try to resolve recent smt related issues in CI (#17074)

Adding an extra package to consistently have it on the build machine

Author: Sarkoxed

barretenberg/cpp/bootstrap.sh

@@ -154,7 +154,7 @@ function build_smt_verification {
     return
   fi
 
-  sudo apt update && sudo apt install -y python3-pip python3-venv m4
+  sudo apt update && sudo apt install -y python3-pip python3-venv m4 bison
   cmake --preset smt-verification
   cmake --build build-smt --target smt_verification_tests
   cache_upload barretenberg-smt-$hash.zst build-smt

build-images/src/Dockerfile

@@ -242,6 +242,7 @@ RUN apt update && \
         python3-venv \
         python3-pip \
         m4 \
+        bison \
     && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
 
 # Install osxcross. Requires developer to mount SDK from their mac host.