Provide for user editable keyboard shortcuts

Submitted by an unknown user

Description

We regularly get requests for this or that keyboard shortcut. This bug report is intended to collect them in view of allowing for user editable short cuts since it seems everybody likes different shortcuts.

Version: git master