A library and utilities for processing GIFs