[MartijnBraam]

You don't even need the animation speed for this. In the GIF format you can have a new color palette for every frame so paint the first 256 colors in the first frame. Add 256 more colors in the right spots in the second frame etc.

See http://notes.tweakblogs.net/blog/8712/high-color-gif-images.... for a nice animation