People who need such a thing typically know about ImageMagick, a rich open source suite of command line tools for manipulating images. If you're looking to manipulate animated GIFs, especially if you're looking to create one, also check out gifsicle.