A tool for making GIF animations