The ETC1 compressed texture format is commonly supported by OpenGL ES 2.0-capable devices. This change adds a host-only version of the library. It is used by the etc1tool.