reenable divided-mode spawning hack^Wtweak, that was accidently removed in 34ede05e4d4f

Make sd-tint a theme variable so cophernue can tweak his sky tinting

Improve mission panel in Gravity script (don't overwrite game modifier texts)

Fix low gravity utility not working in Gravity script (fixes #13) Using low gravity halves the gravity. For using a range, both the minimum and maximum gravities are halved. Negative gravities are doubled. Bonus: game modifier “low gravity” will be force-disabled.

Save fastest rounds in Killing the specialists and Precise shooting missions

Save record time for Chasing the blue hog mission

Save some records in campaign vars: Hard flying, Running for survival

Fix ClimbHome mission bugs (broken teams, broken graph)

Set random flags and voice in random teams Except in quick matches, which always uses default voice (for native speakers)

Show symbols at bottom right while extra damage / low grav. are active PC version only. No change for touch interface.

Relax some health bounds in game scheme editor

Fix Lua error message in A Classic Fairytale mission 8

Translate appdata file into German

Upgrade appdata file to AppStream 0.8 format, update screenshots

Simplify the hat format for unanimated hats For simple hats which are not animated, a single 32×32 image is now enough. For simple clan hats, use 64×32 with the color overlay at the right.