a GIF animation image editing tool that offers a big set of painting and drawing tools