chore: remove unused crates from Cargo.toml#5791

MikaelMayer merged 1 commit intomasterdafny-lang/dafny:masterfrom

ajewell/cargo-cleanupdafny-lang/dafny:ajewell/cargo-cleanupCopy head branch name to clipboard