Use gif2h.py
to convert image files to C header files playable by the Arduino code.
This wouldn't be possible without the excellent heatshrink library: https://github.com/atomicobject/heatshrink and the equally excellent FastLED: http://fastled.io/
See the Reddit post: https://www.reddit.com/r/FastLED/comments/gt31y4/playing_gif_animations_on_avr/