Auto merge of #1609 - camelid:patch-1, r=RalfJung
Auto merge of #1609 - camelid:patch-1, r=RalfJung

Fix link in README

The section it references is now in `CONTRIBUTING.md`.

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