Add a magic comment syntax to set MIRIFLAGS#781

saethlin wants to merge 4 commits intorust-lang:mainrust-lang/rust-playground:mainfrom

saethlin:custom-flagssaethlin/rust-playground:custom-flagsCopy head branch name to clipboard