Rename fletch -> dartino

pkg/dartino_compiler/lib/src/dartino_native_descriptor.dart

 // Copyright (c) 2015, the Dartino 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.md file.
 
-library fletchc.fletch_native_descriptor;
+library dartino_compiler.dartino_native_descriptor;
 
 import 'dart:convert' show
     JSON;
 
-class FletchNativeDescriptor {
+class DartinoNativeDescriptor {
   final String enumName;
 
   final String cls;
 
   final String name;
 
   final int index;
 
-  FletchNativeDescriptor(this.enumName, this.cls, this.name, this.index);
+  DartinoNativeDescriptor(this.enumName, this.cls, this.name, this.index);
 
-  String toString() => "FletchNativeDescriptor($enumName, $cls, $name, $index)";
+  String toString() => "DartinoNativeDescriptor($enumName, $cls, $name, $index)";
 
   static void decode(
       String jsonData,
-      Map<String, FletchNativeDescriptor> natives,
+      Map<String, DartinoNativeDescriptor> natives,
       Map<String, String> names) {
     Map jsonObjects = JSON.decode(jsonData);
     int index = 0;
     for (Map native in jsonObjects['natives']) {
       String cls = native['class'];
       String name = native['name'];
       void add(cls, name) {
         natives['$cls.$name'] =
-            new FletchNativeDescriptor(native['enum'], cls, name, index);
-        natives['$cls._fletchNative$name'] =
-            new FletchNativeDescriptor(native['enum'], cls, name, index);
+            new DartinoNativeDescriptor(native['enum'], cls, name, index);
+        natives['$cls._dartinoNative$name'] =
+            new DartinoNativeDescriptor(native['enum'], cls, name, index);
       }
       if (cls == "<none>") {
         cls = null;
         add("", name);
         if (name.startsWith("_")) {
           // For private top-level methods, create a public version as well.
           // TODO(ahe): Modify the VM table of natives.
           add("", name.substring(1));
         }
       } else {
         add(cls, name);
       }
       index++;
     }
     for (Map name in jsonObjects['names']) {
       names[name['name']] = name['value'];
     }
   }
 }