Bump the cargo group with 2 updates

Bumps the cargo group with 2 updates: [clap](https://github.com/clap-rs/clap) and [once_cell](https://github.com/matklad/once_cell).


Updates `clap` from 4.4.10 to 4.4.11
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](clap-rs/clap@v4.4.10...v4.4.11)

Updates `once_cell` from 1.18.0 to 1.19.0
- [Changelog](https://github.com/matklad/once_cell/blob/master/CHANGELOG.md)
- [Commits](matklad/once_cell@v1.18.0...v1.19.0)

---
updated-dependencies:
- dependency-name: clap
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: cargo
- dependency-name: once_cell
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: cargo
...

Signed-off-by: dependabot[bot] <support@github.com>

Cargo.lock

@@ -167,19 +167,19 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "clap"
-version = "4.4.10"
+version = "4.4.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "41fffed7514f420abec6d183b1d3acfd9099c79c3a10a06ade4f8203f1411272"
+checksum = "bfaff671f6b22ca62406885ece523383b9b64022e341e53e009a62ebc47a45f2"
 dependencies = [
  "clap_builder",
  "clap_derive",
 ]
 
 [[package]]
 name = "clap_builder"
-version = "4.4.9"
+version = "4.4.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "63361bae7eef3771745f02d8d892bec2fee5f6e34af316ba556e7f97a7069ff1"
+checksum = "a216b506622bb1d316cd51328dce24e07bdff4a6128a47c7e7fad11878d5adbb"
 dependencies = [
  "anstream",
  "anstyle",
@@ -686,9 +686,9 @@ dependencies = [
 
 [[package]]
 name = "once_cell"
-version = "1.18.0"
+version = "1.19.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dd8b5dd2ae5ed71462c540258bedcb51965123ad7e7ccf4b9a8cafaa4a63576d"
+checksum = "3fdb12b2476b595f9358c5161aa467c2438859caa136dec86c26fdd2efe17b92"
 
 [[package]]
 name = "os_info"

kani-compiler/Cargo.toml

@@ -10,7 +10,7 @@ publish = false
 
 [dependencies]
 cbmc = { path = "../cprover_bindings", package = "cprover_bindings", optional = true }
-clap = { version = "4.1.3", features = ["derive", "cargo"] }
+clap = { version = "4.4.11", features = ["derive", "cargo"] }
 home = "0.5"
 itertools = "0.12"
 kani_metadata = {path = "../kani_metadata"}

kani-driver/Cargo.toml

@@ -16,10 +16,10 @@ kani_metadata = { path = "../kani_metadata" }
 cargo_metadata = "0.18.0"
 anyhow = "1"
 console = "0.15.1"
-once_cell = "1.13.0"
+once_cell = "1.19.0"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
-clap = { version = "4.1.3", features = ["derive"] }
+clap = { version = "4.4.11", features = ["derive"] }
 glob = "0.3"
 toml = "0.8"
 regex = "1.6"

kani_metadata/Cargo.toml

@@ -15,4 +15,4 @@ serde = {version = "1", features = ["derive"]}
 cbmc = { path = "../cprover_bindings", package = "cprover_bindings" }
 strum = "0.25.0"
 strum_macros = "0.25.2"
-clap = { version = "4.1.3", features = ["derive"] }
+clap = { version = "4.4.11", features = ["derive"] }

tools/build-kani/Cargo.toml

@@ -12,5 +12,5 @@ publish = false
 [dependencies]
 anyhow = "1"
 cargo_metadata = "0.18.0"
-clap = { version = "4.1.3", features=["derive"] }
+clap = { version = "4.4.11", features=["derive"] }
 which = "5"