a tool for making GIF animations.