add hotkeys for increased usability

I think this is a good idea to allow for easier use of menus in game.

The idea is:
esc = options
f1 = pause
f2 = diplomacy (or statistics in observer mode)
f3 = cheats
f4 = objectives
etc.

I hope these keys are not used for anything else :P