Added one-liner and "other resources" for dart:html library description

tools/dom/templates/html/dart2js/html_dart2js.darttemplate

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // DO NOT EDIT - unless you are editing documentation as per:
 // https://code.google.com/p/dart/wiki/ContributingHTMLDocumentation
 // Auto-generated dart:html library.
 
-/// The Dart HTML library.
-///
-/// For examples, see
-/// [Dart HTML5 Samples](https://github.com/dart-lang/dart-html5-samples)
-/// on Github.
+/**
+ * Resources, including HTML elements, for web-based applications that need to

[Emily Fortuna, 2013/08/28 17:45:17]

these files are auto-generated. Seems like these comments will be overwritten
when we regenerate these files? I believe if you run tools/dom/dom.py docs these
comments will be also transferred to dom.json so that they won't be lost.

[mem, 2013/08/29 11:41:53]

My understanding is that this is the source file. I was following the
instructions here:
https://code.google.com/p/dart/wiki/ContributingHTMLDocumentation

The generated files are in sdk/lib/html/dartium and sdk/lib/html/dart2js

mem

On 2013/08/28 17:45:17, Emily Fortuna wrote:

+ * interact with the browser and the DOM (Document Object Model).
+ *
+ * This library includes DOM element types, CSS styling, local storage,
+ * plus support for media, speech, events, and more.
+ *
+ * ## Other resources
+ *
+ * * If you've never written a web app before, try our
+ * tutorials—[The Game of Darts](http://dartlang.org/docs/tutorials).
+ * 
+ * * To see some web-based Dart apps in action and to play with the code,
+ * download
+ * [Dart Editor](http://www.dartlang.org/#get-started)
+ * and run its built-in examples.
+ *
+ * * For even more examples, see
+ * [Dart HTML5 Samples](https://github.com/dart-lang/dart-html5-samples)
+ * on Github.

[blois, 2013/08/28 15:59:06]

Can these be cloned into the Dartium version as well?
(html_dartium.darttemplate).

[mem, 2013/08/29 11:41:53]

Done.

+ */
 library dart.dom.html;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:_collection-dev' hide Symbol, deprecated;
 import 'dart:html_common';
 import 'dart:indexed_db';
 import 'dart:isolate';
 import 'dart:json' as json;
 import 'dart:math';
@@ skipping 85 matching lines @@
   return JS('int', r'window.$dart$isolate$counter++');
 }
 
 // Fast path to invoke JS send port.
 _callPortSync(int id, message) {
   return JS('var', r'ReceivePortSync.dispatchCall(#, #)', id, message);
 }
 
 Future<SendPort> spawnDomFunction(Function f) =>
   new Future.value(IsolateNatives.spawnDomFunction(f));