Customizing shortcuts

It would be useful for the user to customise shortcuts, which could probably be saved in the local storage of the browser.

This could probably be added to the `file -> preferences` menu. All of the shortcuts are currently hardcoded in `default_mapping.rs` - however it may be necessary to filter these keybinds before displaying them (e.g. it doesn't make sense for the user to need to customise each key press for nudge, and pointer move events should not change).

Start with default_mapping.rs to inventory the hardcoded shortcuts, then inspect the file -> preferences menu and the browser local-storage path mentioned in the issue. Define which keybinds are user-configurable and which are filtered out, and consider the work complete when supported shortcuts can be edited from Preferences and persist locally.

Scritto dal modello di indicizzazione a partire dal testo della issue.