Improve Web IDE command palette shortcut

The current shortcut is F1 which is not obvious and doesn't match any existing editors that I am aware of.

maybe we should change the command palette to a more familiar shortcut? Cmd+Shift+P (Windows, Linux Ctrl+Shift+P) is used by VS Code and Atom.

Change command palette shortcut to Cmd+Shift+P