gif format support

[Leoongithub]

Leanify supports various kinds of image format except this. I think this format is common.

[jul059]

For gif compression, flexigif should be looked into, although it is very slow. Gifsicle is another faster but less efficient program.