Auto merge of #1902 - camelid:r-a, r=RalfJung
Auto merge of #1902 - camelid:r-a, r=RalfJung

Add instructions for using rust-analyzer for Miri development

r? `@RalfJung`

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