I tested the validity of the resulting KTX files by using macOS Preview, which can read some types of KTX files. (!) This CL also adds mipgen to the WebGL build, although its outputs are not yet used by the sample apps.