Update dependencies (rustc nightly-2022-10-01, viper v-2022-09-30-1522)

[viper-admin]

• Update Viper version to v-2022-09-30-1522.
• Update rustc version to nightly-2022-10-01.
• 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-01-x86_64-unknown-linux-gnu'
info: latest update on 2022-10-01, rust version 1.66.0-nightly (8ce3204af 2022-09-30)
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

@Aurel300 could you take care of this?

[fpoli]

Superseded by #1199