Add dart:html and friends to patched_dart2js_sdk/platform.dill, also fix up

Add dart:html and friends to patched_dart2js_sdk/platform.dill, also fix up
warnings on these libraries.

R=sra@google.com

Committed: https://github.com/dart-lang/sdk/commit/cd2ebf70a2c51881ac6ffde2dbecc9fcbbdc5446

[Siggi Cherem (dart-lang), 2017-05-17 15:49:20]

sigmund@google.com changed reviewers:
+ johnniwinther@google.com, sra@google.com

[Siggi Cherem (dart-lang), 2017-05-17 15:49:20]

Stephen - let me know if you prefer that I land the library changes on a
separate CL.

BTW - I manually updated html_dart2js.dart, is the dartdomgenerator script
expected to take a very long time?

https://codereview.chromium.org/2885103005/diff/1/pkg/front_end/lib/src/fasta...
File pkg/front_end/lib/src/fasta/translate_uri.dart (right):

https://codereview.chromium.org/2885103005/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/translate_uri.dart:78: "html":
sdk.resolve("lib/html/dart2js/html_dart2js.dart"),
(FYI I had added this so we could use it dart2js, but I ended up with the wrong
path here, in the future we'll load these paths from a json file.)

[sra1, 2017-05-17 16:08:33]

lgtm

[Siggi Cherem (dart-lang), 2017-05-17 17:58:36]

Description was changed from

==========
Add dart:html and friends to patched_dart2js_sdk/platform.dill, also fix up
warnings on these libraries.
==========

to

==========
Add dart:html and friends to patched_dart2js_sdk/platform.dill, also fix up
warnings on these libraries.

R=sra@google.com

Committed:
https://github.com/dart-lang/sdk/commit/cd2ebf70a2c51881ac6ffde2dbecc9fcbbdc5446
==========

[Siggi Cherem (dart-lang), 2017-05-17 17:58:37]

Committed patchset #2 (id:20001) manually as
cd2ebf70a2c51881ac6ffde2dbecc9fcbbdc5446 (presubmit successful).