Misc work on shortcuts:

* shift+v for paste above.
* ii for interrupt
* 00 for restart
* All shortcuts can have a count field for multiple press.
Added platform dep. logic.
Fixing shortcut counts to work for n>2.
Protect against navigator undefined in platform.
Merge pull request #4894 from ellisonbg/shortcut-changes

Shortcut changes