doc: revisions to tools/texturecompress.py