Added hotkeys. F8 save, F9 reload.

The hotkeys are kind of weird indeed, but overriding browser hotkeys
in a way that works on all browsers is generally a thorny issue.
Tried these in both chrome and firefox and they both work.