Merge pull request #8398 from tautschnig/release-6.1.1

Release CBMC 6.1.1

Merge pull request #8394 from tautschnig/release-6.1.0

Release CBMC version 6.1.0

Patch release CBMC 6.0.1

Fixes bugs surfaced by Kani and hw-cbmc experimenting as well as the
release process itself.

Merge pull request #8335 from tautschnig/cbmc-v6

Release CBMC version 6

cbmc 5.94.0