Move record-progress processing to separate thread#618

bors merged 1 commit intorust-lang:masterrust-lang/crater:masterfrom

Mark-Simulacrum:optMark-Simulacrum/crater:optCopy head branch name to clipboard