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

TrophyRace: Show fastest team times (instead of clan times)

TrophyRace: Show current racing time at top

The rottags key alone now toggles hog tags; preecise+rottags is used to cycle tags I figured that the toggling hog tags on and off is a bit more important than changing the tag types, because you sometimes run into a hog whose tags block your view, so a 1-key press is helpful. On the other hand, you probably only want to changing the tag types in the game once (if at all).