Txtmerge, a tool for making GIF Animations