merge from default

quick sanity change for AI + zerog

Bump up protocol number

few more changes

this is really annoying

0.9.20 changes. May have missed stuff. Please add if you notice anything missing.

Allow skip in move

merge

Make server aware of new versions

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

Remove some wtfism that was breaking localisation

Recover old tips from .ts files. This addresses bug #740

Pick random tip from the tip file each time front page is viewed.

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.

typos correction