Rename fletch -> dartino

lib/dartino_embedded.platform

Index: lib/dartino_embedded.platform
diff --git a/lib/fletch_embedded.platform b/lib/dartino_embedded.platform
similarity index 91%
rename from lib/fletch_embedded.platform
rename to lib/dartino_embedded.platform
index 4a7b2edc48dc48cd8d2736dd0ab26717ca5d5543..d4b9996bff26ccf26ad003081676ed597cc387e2 100644
--- a/lib/fletch_embedded.platform
+++ b/lib/dartino_embedded.platform
@@ -2,7 +2,7 @@
 # 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.
 
-# The libraries available for embedded fletch programs.
+# The libraries available for embedded dartino programs.
 
 [dart-spec]
 spec:3rd edition.
@@ -11,13 +11,13 @@ spec:3rd edition.
 # No extra features.
 
 [libraries]
-# Fletch specific libraries
-fletch.ffi: ffi/ffi.dart
-fletch: fletch/fletch.dart
-fletch.io: io/io.dart
-fletch.service: service/service.dart
-fletch.os: os/os.dart
-fletch._system: system/system.dart
+# Dartino specific libraries
+dartino.ffi: ffi/ffi.dart
+dartino: dartino/dartino.dart
+dartino.io: io/io.dart
+dartino.service: service/service.dart
+dartino.os: os/os.dart
+dartino._system: system/system.dart
 
 # Embedded core is a reduced version of the regular dart:core.
 core: core/embedded_core.dart
@@ -64,7 +64,7 @@ _core_string_sink: ../third_party/dart/sdk/lib/core/string_sink.dart
 _core_symbol: ../third_party/dart/sdk/lib/core/symbol.dart
 _core_type: ../third_party/dart/sdk/lib/core/type.dart
 
-# These are unsupported on fletch-embedded.
+# These are unsupported on dartino-embedded.
 isolate: unsupported:
 mirrors: unsupported:
 async: unsupported: