Renaming dart:html library from 'html' to 'dart.html'

Renaming dart:html library from 'html' to 'dart.html'

This should be invisible to end users, but basically brings dart:html in-line with the core libraries.

BUG=

Committed: https://code.google.com/p/dart/source/detail?r=17929

[Andrei Mouravski, 2013-01-30 23:45:28]

Please run:
dart tools/dom/docs/bin/docs.dart

and ensure that it still works.

[blois, 2013-01-31 00:08:07]

On 2013/01/30 23:45:28, Andrei Mouravski wrote:
> Please run:
> dart tools/dom/docs/bin/docs.dart
> 
> and ensure that it still works.

How unfortunate, it did not. fixed.

[sra1, 2013-01-31 00:43:36]

lgtm

[Andrei Mouravski, 2013-01-31 01:06:13]

lgtm

So, docs.dart doesn't need to change any? Cool.