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
Lua scripts for engine testing. These scripts are the same as other Lua scripts
in Hedgewars, but you ought to call `EndLuaTest(TEST_SUCCESSFUL)` or
`EndLuaTest(TEST_FAILED)` when the test is completed.