GIF 轉 MP4

把 GIF 轉成小很多的 MP4 影片。