Convert true color frames of an animated GIF to indexed 8bpp

We load an animated GIF with the image of a goldfish with full color frames, and convert its frames to indexed 8bpp images. A global paletter is also added (taken from the first image).