Refactor HotKey stuff to use user settings and not app settings.

Switch all settings to a UI form.
Manage HotKey starting/stopping better (including don't listen for keys when typing keys)

Use new timestamp server/args

...