A python tool for creating animated gifs from png images, made in particular for Slack emojis and reactions