GIF encoder based on libimagequant (pngquant)
