animationToGif.py