gifski — GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format.