Write ETC1 texture as *.pkm file.

Write ETC1 texture into the PKM file format.

(ETC1 is mainly used by Android, and PKM is the native format to store the texture.)