Python3 script for converting videos to gifs on Linux