hotkeys: Do not attempt to translate action names

They are not available most of the time, and translating '-' is likely
to be overambitious.
hotkeys: Increment settings revision number

There were format changes (UNASSIGNED exists now).
hotkeys: Add PAUSE as secondary key for pausing the game (P)

This is not a reference to any other game. At least not until FIFE can
play cool videos.