converts GIFs to HTML animation