Generate web-animations-*.js