Add more formats, compress DTX5

I assumed DTX5 was the default. Apparently it was actually uncompressed.