Added WebSocket support for dartc and frog

client/dom/frog/frog_dom.dart

 #library('dom');
 
 #native('frog_dom.js');
 // Copyright (c) 2011, 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.
 
 // DO NOT EDIT
 // Auto-generated Dart DOM library.
 
@@ skipping 10641 matching lines @@
 class WebKitTransitionEvent extends Event native "*WebKitTransitionEvent" {
 
   num elapsedTime;
 
   String propertyName;
 
   void initWebKitTransitionEvent(String typeArg, bool canBubbleArg, bool cancelableArg, String propertyNameArg, num elapsedTimeArg) native;
 }
 
 class WebSocket native "*WebSocket" {
+  WebSocket(String url) native;
+
 
   static final int CLOSED = 3;
 
   static final int CLOSING = 2;
 
   static final int CONNECTING = 0;
 
   static final int OPEN = 1;
 
   String URL;
@@ skipping 662 matching lines @@
       startIndex = a.length - 1;
     }
     for (int i = startIndex; i >= 0; i--) {
       if (a[i] == element) {
         return i;
       }
     }
     return -1;
   }
 }