Adding keyboard shortcuts and reworking menu

Menu rework
- changing visual style
- generating menu items from javascript
- displaying keyboard shortcuts in menu

Adding keyboard shortcuts
- binding some commands to keyboard shortcuts with KeyboardJS