Rename fletch -> dartino

pkg/dartino_compiler/lib/src/verbs/x_download_tools_verb.dart

Index: pkg/dartino_compiler/lib/src/verbs/x_download_tools_verb.dart
diff --git a/pkg/fletchc/lib/src/verbs/x_download_tools_verb.dart b/pkg/dartino_compiler/lib/src/verbs/x_download_tools_verb.dart
similarity index 86%
rename from pkg/fletchc/lib/src/verbs/x_download_tools_verb.dart
rename to pkg/dartino_compiler/lib/src/verbs/x_download_tools_verb.dart
index 7c67668367a8c59fa5dd45ace1c7afe720aaaf0a..634024b8b72f54beac376106c2939590a332edad 100644
--- a/pkg/fletchc/lib/src/verbs/x_download_tools_verb.dart
+++ b/pkg/dartino_compiler/lib/src/verbs/x_download_tools_verb.dart
@@ -1,8 +1,8 @@
-// Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file
+// 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.verbs.x_download_tools_verb;
+library dartino_compiler.verbs.x_download_tools_verb;
 
 import 'infrastructure.dart';
 import '../worker/developer.dart' show downloadTools;