A tool for making a GIF Animation