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