Add webm version of videos.

ffmpeg 2.1.3 -c:v libvpx -crf 10 -b:v 3M

Roughly match original bitrate.  Smaller, slightly lower quality, but
they look reasonable.