Add Animation encoder.

Program to encode animation files (just like the graphics encoder, but for more images :p )