Upgrade version number to 0.41.0

[jaisnan]

Upgrade version number to 0.41.0

The CHANGELOG changes are:

# What's Changed
* Fix setup for `aarch64-unknown-linux-gnu` platform by @adpaco-aws in https://github.com/model-checking/kani/pull/2864
* Do not override `std` library during playback by @celinval in https://github.com/model-checking/kani/pull/2852
* Fix docker build step in release workflow by @adpaco-aws in https://github.com/model-checking/kani/pull/2854
* Fix path-dependent failures in `assess-artifacts` test by @adpaco-aws in https://github.com/model-checking/kani/pull/2849
* Automatic toolchain upgrade to nightly-2023-11-11 by @github-actions in https://github.com/model-checking/kani/pull/2870

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.40.0...kani-0.41.0

### Breaking Changes

* Set minimum python to 3.7 in docker container and release action by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2879
* Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in https://github.com/model-checking/kani/pull/2860

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[adpaco-aws]

You've copied the proposed release notes into the description, but what we need are the auto-generated release notes, for reference. Otherwise, we don't know if your proposal makes sense because we don't know the original notes.

[jaisnan]

Here is the full auto-generated release notes:

## What's Changed
* Fix path-dependent failures in `assess-artifacts` test by @adpaco-aws in https://github.com/model-checking/kani/pull/2849
* Do not override `std` library during playback by @celinval in https://github.com/model-checking/kani/pull/2852
* Fix docker build step in release workflow by @adpaco-aws in https://github.com/model-checking/kani/pull/2854
* update in visualizing trace option by @muqsit-azeem in https://github.com/model-checking/kani/pull/2855
* Update Rust toolchain to 2023-11-06 by @zhassan-aws in https://github.com/model-checking/kani/pull/2858
* Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in https://github.com/model-checking/kani/pull/2860
* Fix setup for `aarch64-unknown-linux-gnu` platform by @adpaco-aws in https://github.com/model-checking/kani/pull/2864
* Automatic toolchain upgrade to nightly-2023-11-07 by @github-actions in https://github.com/model-checking/kani/pull/2862
* expect() does not take format strings by @matthiaskrgr in https://github.com/model-checking/kani/pull/2865
* Automatic toolchain upgrade to nightly-2023-11-08 by @github-actions in https://github.com/model-checking/kani/pull/2866
* const-ify `cover` by @jswrenn in https://github.com/model-checking/kani/pull/2867
* Automatic toolchain upgrade to nightly-2023-11-09 by @github-actions in https://github.com/model-checking/kani/pull/2868
* Automatic toolchain upgrade to nightly-2023-11-10 by @github-actions in https://github.com/model-checking/kani/pull/2869
* Automatic toolchain upgrade to nightly-2023-11-11 by @github-actions in https://github.com/model-checking/kani/pull/2870
* set python to 3.7 in docker container and release action by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2879
* Update dependencies from `cargo update` by @jaisnan in https://github.com/model-checking/kani/pull/2883

## New Contributors
* @muqsit-azeem made their first contribution in https://github.com/model-checking/kani/pull/2855
* @matthiaskrgr made their first contribution in https://github.com/model-checking/kani/pull/2865
* @jswrenn made their first contribution in https://github.com/model-checking/kani/pull/2867

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.40.0...kani-0.41.0

[adpaco-aws]

I believe these are also user-facing:

* expect() does not take format strings by @matthiaskrgr in https://github.com/model-checking/kani/pull/2865
* const-ify `cover` by @jswrenn in https://github.com/model-checking/kani/pull/2867

and @zhassan-aws did

* Update Rust toolchain to 2023-11-06 by @zhassan-aws in https://github.com/model-checking/kani/pull/2858

[adpaco-aws]

Note: The branch needs to be updated.