gifsicle is a powerful command-line program for manipulating GIF image
files. Extensive options let you control what exactly it does.