Fix shortcut clash on OSX

Use Ctrl+, rather than Command+, to avoid clashing
with the standard preferences shortcut.

Issue #153