Rename fletch -> dartino

lib/dartino_mobile.platform

Index: lib/dartino_mobile.platform
diff --git a/lib/fletch_mobile.platform b/lib/dartino_mobile.platform
similarity index 78%
rename from lib/fletch_mobile.platform
rename to lib/dartino_mobile.platform
index 2b2dfb9a554cd767df74188b30ec2942fbffdf3b..668509a7694576eb8d383ec2117d4ed6790f81d3 100644
--- a/lib/fletch_mobile.platform
+++ b/lib/dartino_mobile.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 mobile fletch programs.
+# The libraries available for mobile 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
 
 async: ../third_party/dart/sdk/lib/async/async.dart
 collection: ../third_party/dart/sdk/lib/collection/collection.dart
@@ -29,7 +29,7 @@ typed_data: ../third_party/dart/sdk/lib/typed_data/typed_data.dart
 
 _internal: ../third_party/dart/sdk/lib/internal/internal.dart
 
-# These are unsupported on fletch-mobile.
+# These are unsupported on dartino-mobile.
 isolate: unsupported:
 mirrors: unsupported:
 io: unsupported: