Auto merge of #1230 - RalfJung:cargo, r=RalfJung
Auto merge of #1230 - RalfJung:cargo, r=RalfJung

Cargo.toml: group all dependencies together

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