add the help (?) button to the menu#2762

szabgab wants to merge 2 commits intorust-lang:masterrust-lang/mdBook:masterfrom

szabgab:navigation-help-buttonszabgab/mdBook:navigation-help-buttonCopy head branch name to clipboard