Rename fletch -> dartino

pkg/dartino_compiler/lib/src/diagnostic.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.diagnostic;
+library dartino_compiler.diagnostic;
 
 import 'messages.dart' show
     DiagnosticKind,
     getMessage;
 
 import 'hub/sentence_parser.dart' show
     Preposition,
     Target,
     TargetKind,
     Verb;
@@ skipping 165 matching lines @@
   Diagnostic asDiagnostic() {
     return new Diagnostic(kind, getMessage(kind), arguments);
   }
 
   String toString() => 'InputError($kind, $arguments)';
 }
 
 /// Throw an internal error that will be recorded as a compiler crash.
 ///
 /// In general, assume, no matter how unlikely, that [message] may be read by a
-/// user (that is, a developer using Fletch). For this reason, try to:
+/// user (that is, a developer using Dartino). For this reason, try to:
 ///
 /// * Avoid phrases that can be interpreted as blaming the user (all error
 ///   messages should state what is wrong, in a way that doesn't assign blame).
 ///
 /// * Avoid being cute or funny (there's nothing more frustrating than being
 ///   affected by a bug and see a cute or funny message, especially if it
 ///   happens a lot).
 ///
 /// * Avoid phrases like "unreachable", "can't happen", "shouldn't happen",
 ///   "shouldn't be called", simply because it is wrong: it did happen. In most
@@ skipping 49 matching lines @@
     arguments[DiagnosticParameter.uri] = uri;
   }
   if (requiredTarget != null) {
     arguments[DiagnosticParameter.requiredTarget] = requiredTarget;
   }
   if (fixit != null) {
     arguments[DiagnosticParameter.fixit] = fixit;
   }
   throw new InputError(kind, arguments);
 }