.ppm --(pnmtogif)--> .gif --(gifsicle, many)--> animated .gif
.ppm --(pnmtopng)--> .png --(gstreamer, multifilesink)--> .ogg --(gifenc.sh)--> animated .gif