Added a script for converting animated GIFs to WebM.