Transformation of animated GIF images: resize, crop, etc.