Update contributor list on help page
Key shortcuts: use platform specific modifiers

Based on the user agent, the keyboard shortcuts are now platform specific. That
is, for Macs, the '⌘' character is used instead of 'ctrl'.

Closes #848.