reassign keyboard shortcut for saving current config, add an alternate context-menu shortcut

It appears that Shift+F10 is a semi-standard context-menu shortcut, so let's
use that, since some keyboards lack a context-menu key.

That means that the shortcut for saving the current configuration had to
change, and I chose Shift+F3 instead.