[New Feature] shortcut editor

Add shortcut editor tab page to options dialog. This new functionality allows to define custom shortcuts for UI actions.