https://blog.techchee.com/how-to-convert-video-to-gif-with-python/