GIF animation and encoding tool