swfmill unnecessarily uses the long RECORDHEADER format

[djcsdy]

RECORDHEADER has two formats specified: a short format for tags that are shorter than 0x3f bytes long, and a long format for tags that are 0x3f bytes long or longer.

swfmill seems to (always?) use the long format even when the short format could be used. The short format should be preferred whenever possible.