Rename fletch -> dartino

samples/todomvc/todomvc_shared.cc

Index: samples/todomvc/todomvc_shared.cc
diff --git a/samples/todomvc/todomvc_shared.cc b/samples/todomvc/todomvc_shared.cc
index bbdffe4e565384216853c8782eaa5202adaaec48..7ade9245954a1eeaa5dfda312047cbc91d6754d7 100644
--- a/samples/todomvc/todomvc_shared.cc
+++ b/samples/todomvc/todomvc_shared.cc
@@ -8,7 +8,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-#include "include/fletch_api.h"
+#include "include/dartino_api.h"
 #include "include/service_api.h"
 
 static const int kDone = 1;
@@ -32,9 +32,9 @@ static void WaitForStatus(int expected) {
 
 static void* DartThreadEntry(void* arg) {
   const char* path = static_cast<char*>(arg);
-  FletchSetup();
-  FletchRunSnapshotFromFile(path);
-  FletchTearDown();
+  DartinoSetup();
+  DartinoRunSnapshotFromFile(path);
+  DartinoTearDown();
   ChangeStatusAndNotify(kDone);
   return NULL;
 }