WIP: CodeMirror shortcuts in QuickHelp

Our users shouldn't need an internet connection to look at the code mirror
shortcuts. This PR places the CM keyboard shortcuts that are currently
documented on our website's rendered docs, and places them inside the keyboard
shortcuts quickhelp.