Update dependencies (rustc nightly-2022-10-15, viper v4.0.0-RC)

[viper-admin]

• Update Viper version to v4.0.0-RC.
• Update rustc version to nightly-2022-10-15.
• Run cargo audit and fix the issues.
• Manualy update outdated dependencies (see the list below).
• Manualy run cargo update.

List of direct outdated dependencies:

$ cargo outdated --root-deps-only --workspace

info: syncing channel updates for 'nightly-2022-10-15-x86_64-unknown-linux-gnu'
info: latest update on 2022-10-15, rust version 1.66.0-nightly (bf15a9e52 2022-10-14)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'llvm-tools-preview'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustc-dev'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'clippy'
info: installing component 'llvm-tools-preview'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustc-dev'
info: installing component 'rustfmt'
warning: unused config key `unstable.bindeps` in `/home/runner/work/prusti-dev/prusti-dev/.cargo/config`
error: package `/home/runner/work/prusti-dev/prusti-dev/prusti-contracts/prusti-specs/Cargo.toml` is a member of the wrong workspace
expected: /home/runner/work/prusti-dev/prusti-dev/Cargo.toml
actual:   /home/runner/work/prusti-dev/prusti-dev/prusti-contracts/Cargo.toml
cargo outdated failed to execute

@fpoli could you take care of this?

[fpoli]

I opened kbknapp/cargo-outdated#331 for the error of cargo outdated.

[fpoli]

(ignore)