Convert DOM and HTML frog to dart2js.

tools/create_sdk.py

Index: tools/create_sdk.py
===================================================================
--- tools/create_sdk.py	(revision 9862)
+++ tools/create_sdk.py	(working copy)
@@ -42,7 +42,7 @@
 # ......dom/
 # ........dom.dart
 # ......html/
-# ........html_frog.dart
+# ........html_dart2js.dart
 # ........html_dartium.dart
 # ......crypto/
 # ........crypto.dart
@@ -312,8 +312,8 @@
   html_dest_dir = join(LIB, 'html')
   os.makedirs(html_dest_dir)
 
-  copyfile(join(html_src_dir, 'frog', 'html_frog.dart'),
-           join(html_dest_dir, 'html_frog.dart'))
+  copyfile(join(html_src_dir, 'dart2js', 'html_dart2js.dart'),
+           join(html_dest_dir, 'html_dart2js.dart'))
   copyfile(join(html_src_dir, 'dartium', 'html_dartium.dart'),
            join(html_dest_dir, 'html_dartium.dart'))
   copyfile(join(html_src_dir, 'dartium', 'nativewrappers.dart'),
@@ -326,8 +326,8 @@
   dom_dest_dir = join(LIB, 'dom')
   os.makedirs(dom_dest_dir)
 
-  copyfile(join(dom_src_dir, 'frog', 'dom_frog.dart'),
-           join(dom_dest_dir, 'dom_frog.dart'))
+  copyfile(join(dom_src_dir, 'dart2js', 'dom_dart2js.dart'),
+           join(dom_dest_dir, 'dom_dart2js.dart'))
 
   #
   # Create and populate lib/{crypto, json, uri, utf, ...}.