Rename fletch -> dartino

pkg/dartino_compiler/lib/src/console_print.dart

Index: pkg/dartino_compiler/lib/src/console_print.dart
diff --git a/pkg/fletchc/lib/src/console_print.dart b/pkg/dartino_compiler/lib/src/console_print.dart
similarity index 95%
rename from pkg/fletchc/lib/src/console_print.dart
rename to pkg/dartino_compiler/lib/src/console_print.dart
index 65e5c85d0b0c18690ba36e1d663cb5c92feb6e48..3710788e24babf027e775241704976288feb6662 100644
--- a/pkg/fletchc/lib/src/console_print.dart
+++ b/pkg/dartino_compiler/lib/src/console_print.dart
@@ -5,7 +5,7 @@
 // TODO(ahe): We should have a more general logging facility.
 // We currently print directly to stdout (via Zone.ROOT.print) and assume that
 // stdout of this process is piped to a log file.
-library fletchc.console_print;
+library dartino_compiler.console_print;
 
 import 'dart:async' show
     Zone;