Bump CBMC version to 5.95.1 (#181)

Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC.

.github/workflows/ci.yml

@@ -179,7 +179,7 @@ jobs:
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
           kissat_tag: latest
-          cbmc_version: "5.73.0"
+          cbmc_version: "5.95.1"
       - run: |
           git submodule update --init --recursive --checkout
           sudo apt-get update

README.md

@@ -116,7 +116,7 @@ locations below:
 |                                                       Location                                                       |
 | :------------------------------------------------------------------------------------------------------------------: |
 | [AWS IoT Device SDK for Embedded C](https://github.com/aws/aws-iot-device-sdk-embedded-C#releases-and-documentation) |
-|       [FreeRTOS.org](https://freertos.org/Documentation/api-ref/coreHTTP/docs/doxygen/output/html/index.html)        |
+|       [API Documentation](https://freertos.github.io/coreHTTP/main/index.html)        |
 
 Note that the latest included version of coreHTTP may differ across
 repositories.