cargo-miri, miri-script, tests/ui: misc simplifications and comments#3418

bors merged 3 commits intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:cargo-miriRalfJung/miri:cargo-miriCopy head branch name to clipboard