To ease transition to webcomponentsjs, make platform.js a copy of webcomponents.js and issue a deprecation warning.