Minor shortcut amends

issue #1463

- disables some of codemirrors default shortcuts to prevent them clashing
- minor cleanup of shortcut listing
Merge pull request #4147 from ErisDS/shortcuts

Minor shortcut amends