Enabling a linter for web-animations.js and fixing the lint issues it found