"Fixed" java gif loader bug, added deoptimize

Deoptimizer just gets rid of the delta stuff that people do to make
their gifs smaller, but impossible to edit. The built in Java gif
ImageIO plugin is broken, badly, and my simple fix doesn’t work very
well. Hopefully they patch it, since there isn’t a suitable replacement
at the moment.