Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC (and
cbmc-viewer).

Author: tautschnig

.github/workflows/ci.yml

@@ -261,8 +261,8 @@ jobs:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
-          cbmc_version: "5.61.0"
-          cbmc_viewer_version: "3.5"
+          cbmc_version: "5.95.1"
+          cbmc_viewer_version: "latest"
       - name: Install cmake
         run: |
           sudo apt-get install -y cmake