Use CBMC version 5.95.1 (#164)

The upcoming CBMC version 6 release includes changes that may affect
existing proofs. This PR will make sure that coreJSON PRs are not
negatively impacted by this release. After releasing CBMC version 6 we
will issue a follow-up PR that will return coreJSON to using CBMC's
latest release, and will include any changes to proofs that may be
necessary to support the new version.

Author: tautschnig

.github/workflows/ci.yml

@@ -161,7 +161,7 @@ jobs:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
-          cbmc_version: "latest"
+          cbmc_version: "5.95.1"
           cadical_tag: "latest"
           kissat_tag: "latest"
       - name: Run CBMC