Resize hats with size 32×1024 to 64×512 for consistency

Crop non-team hats without “real” animation to static format (32×32) This … a) makes these hats more managable b) Fixes some clipping problems with hats which take the full height (e.g. knight, noface) b) reduces file size This has been done semi-automated with the following steps: 1. Carefully select hats manually and write them in a list file 2. Run a script to crop them to 32×32 using ImageMagick 3. Check ALL the converted hats in Hedgewars 4. Discard hat changes which turn out to be bad 5. Manually convert any non-RGBA images back to RGBA 6. Final check 7. Commit

Simplify 5 team hats to static format

Fix hittig precise+rottags the first time when all tags started off showing health tag in gfInvulnerable

Implement very basic stats screen for TropyRace

TrophyRace: Hide mission panel when player shoots rope

Simplify the status update panel in Trophy Race a lot