repo-config: add web-animations-js
Merge branch 'master' of https://github.com/Polymer/tools