https://www.mindfuckbox.com/making-gifs-from-video-files-with-python/