allow to quickly edit a page directly on github#1180

jyn514 merged 2 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

tshepang:edit-conveniencetshepang/rustc-dev-guide:edit-convenienceCopy head branch name to clipboard