Add @Native(...) annotation for native class names.

tests/compiler/dart2js_native/native_checked_arguments1_frog_test.dart

 // 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.
 
+import "dart:_js_helper";
 import "package:expect/expect.dart";
 
 // Test that type checks occur on native methods.
 
-class A native "A" {
+@Native("A")
+class A {
   int foo(int x) native;
   int cmp(A other) native;
 }
 
-class B native "B" {
+@Native("B")
+class B {
   String foo(String x) native;
   int cmp(B other) native;
 }
 
 A makeA() native { return new A(); }
 B makeB() native { return new B(); }
 
 void setup() native """
 function A() {}
 A.prototype.foo = function (x) { return x + 1; };
@@ skipping 108 matching lines @@
 
 main() {
   setup();
 
   if (isCheckedMode()) {
     checkedModeTest();
   } else {
     uncheckedModeTest();
   }
 }