Auto merge of #2587 - RalfJung:josh, r=RalfJung
Auto merge of #2587 - RalfJung:josh, r=RalfJung

add josh instructions

This explains how to sync Miri changes to and from rustc.

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