Rework of No Gravity script:
- Now called Gravity, gravity is derived from get away time percentage in game scheme
- Watchdog which sets gravity to normal when TurnTimeLeft is frozen for more than 15 seconds
Recover old tips from .ts files. This addresses
bug #740
Localise tips again. Including new german contribution from
bug #738. We should look into the old .ts files and see if there are translations that can be recovered.
Purely a whitespace change. Going to try to stick to consistent line endings in the future.