Changing to a different gif animation resizer.

Still wondering if that is a headache I want to get involved in.
Animated gifs are only useful for ePub 3.0 files, and do we really need
to resize them?