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

tools/dom/src/EventStreamProvider.dart

 // Copyright (c) 2013, 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.
 
 part of html;
 
 /**
  * A factory to expose DOM events as Streams.
  */
 class EventStreamProvider<T extends Event> {
@@ skipping 280 matching lines @@
       _target.addEventListener(_eventType, _onData, _useCapture);
     }
   }
 
   void _unlisten() {
     if (_onData != null) {
       _target.removeEventListener(_eventType, _onData, _useCapture);
     }
   }
 
-  Future/*<E>*/ asFuture/*<E>*/([var/*=E*/ futureValue]) {
+  Future<E> asFuture<E>([E futureValue]) {
     // We just need a future that will never succeed or fail.
-    var completer = new Completer/*<E>*/();
+    var completer = new Completer<E>();
     return completer.future;
   }
 }
 
 /**
  * A stream of custom events, which enables the user to "fire" (add) their own
  * custom events to a stream.
  */
 abstract class CustomStream<T extends Event> implements Stream<T> {
   /**
@@ skipping 124 matching lines @@
         e, _eventTypeGetter(e), useCapture);
   }
 
   String getEventType(EventTarget target) {
     return _eventTypeGetter(target);
   }
 
   String get _eventType =>
       throw new UnsupportedError('Access type through getEventType method.');
 }