Add option.map_move and result.map_move#8294

erickt wants to merge 4 commits intorust-lang:masterrust-lang/rust:masterfrom

erickt:map-moveerickt/rust:map-moveCopy head branch name to clipboard