Rename fletch -> dartino

tools/servicec/lib/src/plugins/dart.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 file.
 
 library old_servicec.plugins.dart;
 
 import 'dart:core' hide Type;
 import 'dart:io' show Platform, File;
 
 import 'package:path/path.dart' show basenameWithoutExtension, join, dirname;
@@ skipping 73 matching lines @@
   visitUnit(Unit node) {
     writeln(COPYRIGHT);
 
     writeln('// Generated file. Do not edit.');
     writeln();
 
     String libraryName = basenameWithoutExtension(path);
     writeln('library $libraryName;');
     writeln();
 
-    writeln('import "dart:fletch";');
-    writeln('import "dart:fletch.ffi";');
-    writeln('import "dart:fletch.service" as service;');
+    writeln('import "dart:dartino";');
+    writeln('import "dart:dartino.ffi";');
+    writeln('import "dart:dartino.service" as service;');
     if (node.structs.isNotEmpty) {
       writeln('import "struct.dart";');
     }
     writeln();
 
     writeln('final Channel _channel = new Channel();');
     writeln('final Port _port = new Port(_channel);');
     write('final ForeignFunction _postResult = ');
     writeln('ForeignLibrary.main.lookup("PostResultToService");');
 
@@ skipping 366 matching lines @@
     Node resolved = node.resolved;
     if (resolved != null) {
       write('${node.identifier}Builder');
     } else {
       String type = _types[node.identifier];
       write(type);
     }
   }
 
 }