convert 32-bit RGBA PNGs into 8-bit RGBA-palette PNGs