Added WithDeathAnimation

Deprecated RenderInfantry's SpawnsCorpse logic, renamed CrushableInfantry to Crushable (it can now be used to make other actors crushable too, afterall).

Closes #6375.

This can be used to replace DeadBuildingState, too, once #6389 is fixed.

For corpses rather than death animations, read the comments on #4163 about using LeavesHusk for that.
Style-wise I think it is much clearer to wrap these nested if-elses in a block (`{ }`), even if it is semantically one statement.