Moved most of html lib generating scripts into tools.

tools/dom/src/Timer.dart

 // 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.
 
 part of html;
 
 // TODO(antonm): support not DOM isolates too.
 class _Timer implements Timer {
   final canceller;
 
@@ skipping 10 matching lines @@
     canceller = window.clearInterval;
   } else {
     maker = window.setTimeout;
     canceller = window.clearTimeout;
   }
   Timer timer;
   final int id = maker(() { callback(timer); }, milliSeconds);
   timer = new _Timer(() { canceller(id); });
   return timer;
 };