Auto merge of #1640 - RalfJung:readme, r=RalfJung
Auto merge of #1640 - RalfJung:readme, r=RalfJung

readme: mention data races

and mention cross-interpretation already in the intro

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