[Feature request] Output to Webm instead of gif

[japanoise]

Gif is not really a great format for animation; most modern browsers support webm as well, which is much better for animation (it produces much smaller files, for example).

[Michael Fogleman]

GIF does suck.

[Benjamin Kirkbride]

SMIL would be great as well.