WebP conversion for animated GIF images

Any recent version of libwebp can created animated images, could be more efficient than storing them in the GIF format, and would certainly be easier to implement than the HTML5 video idea.