Revert 'Rename profile=user to profile=dist'#112886

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

clubby789:revert-user-distclubby789/rust:revert-user-distCopy head branch name to clipboard