Major-version update cargo dependencies

[tautschnig]

Updates as suggested by cargo outdated --workspace.

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

[Copilot]

Pull request overview

Updates several workspace crates to newer major/minor dependency versions (per cargo outdated --workspace) and applies a small code change to keep kani-driver compatible with updated time formatting APIs.

Changes:

• Bump multiple dependencies across tools and core crates (e.g., strum 0.28, toml 1.x, tree-sitter 0.26, itertools 0.15, string-interner 0.20).
• Update kani-driver timestamp format parsing to use time::format_description::parse_borrowed.
• Refresh Cargo.lock to reflect the new resolved dependency graph.

Reviewed changes

Copilot reviewed 8 out of 9 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
tools/scanner/Cargo.toml	Updates strum / strum_macros to 0.28 for the scanner tool.
tools/kani-cov/Cargo.toml	Updates tree-sitter to 0.26 for coverage parsing.
library/kani_macros/Cargo.toml	Updates strum / strum_macros to 0.28, but also comments out a required dependency (needs fix).
kani-driver/src/main.rs	Adjusts timestamp format parsing API usage for the updated time crate.
kani-driver/Cargo.toml	Updates toml dependency to 1.x.
kani-compiler/Cargo.toml	Updates itertools and strum/strum_macros.
kani_metadata/Cargo.toml	Updates strum / strum_macros.
cprover_bindings/Cargo.toml	Updates string-interner to 0.20.
Cargo.lock	Locks updated dependency versions after the bumps.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.