Copy mod .mdb symbol file together with .dll

Allows for MonoDevelop to debug execution in mod library properly.
Remove unused usings and arguments
Improved download progress formatting
Revert "fix infantry without idle anim staying in fire animation state"

This reverts commit 1c65b29a30de725b3e177822070fd8be4d1822ad.
Add stats button to end game dialog

Also adds the statistics window to TD.  There is no button for it in
observer mode, though, but it is available from the end game dialog.

Fixes #6312.
Rename widgets
Merge pull request #6417 from pchote/fix-infantry-animations

Fixes #6416. Reopens #5884.
Merge pull request #6392 from ingemaradahl/debug-symbols

Copy mod .mdb symbol file together with .dll
Merge pull request #6397 from obrakmann/cnc-stats

Enable viewing game stats after the game ends
Merge pull request #6399 from DeadlySurprise/dlPolish

Fixes #6186
Move SpawnsCorpse functionality from RenderInfantry into its own WithDeathAnimation trait.
WithDeathAnimation yaml changes
Rename CrushableInfantry to Crushable, adapt to WithDeathAnimation.

Make Crushable compatible with immobile actors.

Change RA, TD and TS infantry die-crushed sequence ZOffsets in preparation
for future engine changes.
Upgrade rules for WithDeathAnimation and Crushable renaming
InfDeath -> DeathType upgrade rule fix
Add descriptions and player palette booleans to WithDeathAnimation.
Add descriptions and CrushedByFriendlies to Crushable.

Adapt code to factor in whether the palette is a player palette.