add deprecation.js to web-animations.html. Fixes #254