Through imagemagic you can create the GIF. You can sequence the images and their timing. No idea how this can be used in the web. This site http://html5animationtogif.com is providing online creation of GIF from HTML5 animation. May they are using back end tool to create animated GIF from HTML5.