Fix cmake configuration for perf job (#3499)

Update the `cmake` configuration step used for building CBMC to include
cadical.

Resolves #3497 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

.github/workflows/cbmc-latest.yml

@@ -87,7 +87,7 @@ jobs:
  - name: Build CBMC
  working-directory: ./cbmc
  run: |
- cmake -S . -Bbuild -DWITH_JBMC=OFF
+ cmake -S . -Bbuild -DWITH_JBMC=OFF -Dsat_impl="minisat2;cadical"
  cmake --build build -- -j 4
  # Prepend the bin directory to $PATH
  echo "${GITHUB_WORKSPACE}/cbmc/build/bin" >> $GITHUB_PATH