Convert a GIF image into an HTML5-ready video for considerably better file sizes