Rename and fix json frog library in SDK

tools/create_sdk.py

Index: tools/create_sdk.py
===================================================================
--- tools/create_sdk.py	(revision 2445)
+++ tools/create_sdk.py	(working copy)
@@ -209,8 +209,7 @@
   #
   # Create and populate lib/json.
   #
-
-  json_frog_dest_dir = join(LIB, 'json', 'frog')
+  json_frog_dest_dir = join(LIB, 'json')

[dgrove, 2011/12/16 17:55:19]

This should be json_dest_dir.

   json_compiler_dest_dir = join(LIB, 'json', 'compiler')
   os.makedirs(json_frog_dest_dir)
   os.makedirs(json_compiler_dest_dir)
@@ -223,15 +222,11 @@
     copyfile(join(HOME, 'compiler', filename),
              join(json_compiler_dest_dir, os.path.basename(filename)))
 
-  # Create json_compiler.dart and json_frog.dart from whole cloth.
+  # Create json_compiler.dart from whole cloth.
   dest_file = open(join(LIB, 'json', 'json_compiler.dart'), 'w')
   dest_file.write('#library("dart:json");\n')
   dest_file.write('#import("compiler/json.dart");\n')
   dest_file.close()
-  dest_file = open(join(LIB, 'json', 'json_frog.dart'), 'w')
-  dest_file.write('#library("dart:json");\n')
-  dest_file.write('#import("frog/json.dart");\n')
-  dest_file.close()
       
   #
   # Create and populate lib/dom.