Remove instances of dart:dom_deprecated from outside of lib/html and lib/dom. Part 1 of many.

lib/compiler/implementation/lib/isolate_patch.dart

Index: lib/compiler/implementation/lib/isolate_patch.dart
===================================================================
--- lib/compiler/implementation/lib/isolate_patch.dart	(revision 11641)
+++ lib/compiler/implementation/lib/isolate_patch.dart	(working copy)
@@ -384,9 +384,7 @@
 }
 
 /**
- * A stub for interacting with a manager built on a web worker. The
- * type Worker is also defined in 'dart:dom_deprecated', but we define
- * it here to avoid introducing a dependency from corelib to dom. This
+ * A stub for interacting with a manager built on a web worker. This
  * definition uses a 'hidden' type (* prefix on the native name) to
  * enforce that the type is defined dynamically only when web workers
  * are actually available.