Move dart:dom to dart:dom_deprecated

frog/world.dart

Index: frog/world.dart
diff --git a/frog/world.dart b/frog/world.dart
index d4550fb7ecf6dcb8a8b64f7df78e7a54ef6be5ea..b31e9632ea897f053c027348c27cdb11c3646b86 100644
--- a/frog/world.dart
+++ b/frog/world.dart
@@ -303,8 +303,8 @@ class World {
             + '${existing.span.locationText} with priority $namedPri)';
         // We trust that conflicting native names in builtin libraries are
         // harmless. Most cases there are no conflicts, currently isolates
-        // in coreimpl and dart:dom both define web workers to avoid adding a
-        // dependency from corelib to dart:dom.
+        // in coreimpl and dart:dom_deprecated both define web workers to avoid adding a
+        // dependency from corelib to dart:dom_deprecated.
         world.info(msg, named.span, existing.span);
       } else {
         // Conflicting js name in same library. This happens because
@@ -471,7 +471,7 @@ class World {
       libraries[filename] = library;
       _todo.add(library);
 
-      if (filename == 'dart:dom') {
+      if (filename == 'dart:dom_deprecated') {
         dom = library;
       } else if (filename == 'dart:html') {
         html = library;