Automatic upgrade of CBMC from 6.4.0 to 6.4.1 (#3748)

Upgrade CBMC to its latest release.

Resolves: #3670

Co-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>

Author: github-actions[bot]

kani-dependencies

@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
 CBMC_MINOR="4"
-CBMC_VERSION="6.4.0"
+CBMC_VERSION="6.4.1"
 
 KISSAT_VERSION="3.1.1"