Python script to convert GIFs to MP4