Rename fletch -> dartino

src/shared/test_main.cc

Index: src/shared/test_main.cc
diff --git a/src/shared/test_main.cc b/src/shared/test_main.cc
index 36f8e62c2fb9d456d29b915532d74029f4979f5f..fb8b4698f37ddbb907599557b513bd1dfa218597 100644
--- a/src/shared/test_main.cc
+++ b/src/shared/test_main.cc
@@ -3,21 +3,21 @@
 // BSD-style license that can be found in the LICENSE.md file.
 
 #include "src/shared/flags.h"
-#include "src/shared/fletch.h"
+#include "src/shared/dartino.h"
 #include "src/shared/test_case.h"
 
-namespace fletch {
+namespace dartino {
 
 static void Main(int argc, char** argv) {
   Flags::ExtractFromCommandLine(&argc, argv);
-  Fletch::Setup();
+  Dartino::Setup();
   TestCase::RunAll();
-  Fletch::TearDown();
+  Dartino::TearDown();
 }
 
-}  // namespace fletch
+}  // namespace dartino
 
 int main(int argc, char** argv) {
-  fletch::Main(argc, argv);
+  dartino::Main(argc, argv);
   return 0;
 }