Rename fletch -> dartino

tests/version_tests/version_tests.dart

Index: tests/version_tests/version_tests.dart
diff --git a/tests/version_tests/version_tests.dart b/tests/version_tests/version_tests.dart
index fb76898ca979d521ea97653741247462312e4ae3..ce27b417f7195d079072f5799dca5a03f574de63 100644
--- a/tests/version_tests/version_tests.dart
+++ b/tests/version_tests/version_tests.dart
@@ -19,13 +19,13 @@ Future<Null> main() async {
   Expect.equals(0, result.exitCode);
   String version = result.stdout;
 
-  // Check the version of the fletch CLI.
-  result = await Process.run('$buildDir/fletch', ['--version']);
+  // Check the version of the dartino CLI.
+  result = await Process.run('$buildDir/dartino', ['--version']);
   Expect.equals(0, result.exitCode);
   Expect.equals(version, result.stdout);
 
-  // Check the version of the fletch-vm
-  result = await Process.run('$buildDir/fletch-vm', ['--version']);
+  // Check the version of the dartino-vm
+  result = await Process.run('$buildDir/dartino-vm', ['--version']);
   Expect.equals(0, result.exitCode);
   Expect.equals(version, result.stdout);
 }