Auto merge of #1096 - RalfJung:rustup, r=RalfJung
Auto merge of #1096 - RalfJung:rustup, r=RalfJung

Rustup

bump Rust to latest HEAD

rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri