Rollup of 15 pull requests#73455

Closed

tmandry wants to merge 55 commits intorust-lang:masterfrom

tmandry:rollup-yzuram5

Commits on May 21, 2020

Adjust according to petrochenkov's review comments
mibac138
committed

Commits on Jun 4, 2020

Only highlight results via mouseover if mouse has moved
carols10cents
committed

Commits on Jun 8, 2020

Ensure std benchmarks get tested.
ehuss
committed

Commits on Jun 12, 2020

add raw_ref macros
RalfJung
committed

Commits on Jun 13, 2020

Clean up some weird command strings
GuillaumeGomez
committed

Commits on Jun 14, 2020

Commits on Jun 15, 2020

Commits on Jun 17, 2020