A tool for optimizing GIFs