Comment by neeee

Gifsicle is very good at making highly optimized GIFs, but slightly more cumbersome as you have to convert each frame to a separate image first.

http://www.lcdf.org/gifsicle/