Mostly bugfixes and minor stuff, but check out the new HUD and feel free to post feedback.

- corrected in-game news timestamp
- fixed key-repeat in linux; it affected the new animated zoom-in feature
- new HUD enabled when 'Use New Interface' is selected in Interface Options menu
- client tries to fix-up the completed missions list when client doesn't terminate properly
- some lua bug fixes