GifDecoder can now convert a GIF animation directly into a libgdx Animation object.
Merge branch 'master' of https://github.com/tedbjorling/kngtz