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

svg

'Open packages directory' button on dlc page

merge of volkan's commit followed by lupdate to pick up the new strings

Purely a whitespace change. Going to try to stick to consistent line endings in the future.

update german

more advbounce flagging

make punch usable with no gravity lua

code formatting/consistency

oops, remove debug message

check if save from old campaign name scheme exists and if so rename it to use _ instead of spaces -see issue #722

stricter check of dY and collision

Move to No_Gravity and add .cfg

Default to ...

allow poison clouds to flag active using tmpflag

No gravity mode

- Fix typo in frontend debug output - Expose gravity to scripts (in percents, 100 = normal)

Graves should not be kicked for EXPLDoNotTouchAny

add a preliminary description

redraw ownertex to fix tinting issue

make rubber bouncy even in winter. was considering icy as well but, one, evil, two, would prob want ice sprite like girder

changing math functions that may cause desyncs

Fix warnings