Update dependencies

This MR updates and also removes some Rust dependencies for a release build:

• analysis_driver and gen_accessibility_driver binaries: Used for analysis's testing purposes only.
• derive_more crate: Keeps Display for future use.
• fs_extra crate: Unused and therefore removed.

The only interesting commits are !39 (75ba1933) and !39 (11f1254e).

It is now also possible to do cargo test (added in the CI), useful to add more tests.

Currently, cargo test fails on analysis: I'll look into this later (unless @lgaeher has already an idea why it might fail).

requested review from @lgaeher

changed the description

I don't know why cargo test fails on the analysis crate -- that one is sourced from Prusti, and chances are we don't even need large parts of it

added 5 commits

• d2463086 - chore(analysis): Update test_cases from upstream
• 437aa411 - feat(cargo): Move analysis test binaries out of workspace
• a228af60 - fix(cargo): Add rustc_driver as extern for test compilation
• 22a70bbf - feat(ci): Add 'cargo test' job
• be34e3ad - chore(analysis): Allow to use RUST_SRC_PATH for tests

Compare with previous version

changed the description

resolved all threads

merged