Rename fletch -> dartino

samples/simple_todo/simple_todo_main.cc

Index: samples/simple_todo/simple_todo_main.cc
diff --git a/samples/simple_todo/simple_todo_main.cc b/samples/simple_todo/simple_todo_main.cc
index 9aeabf8e8cc53c784eb1631b172b7efeca8ffa58..dab69d1f30f97d2f925a60cd3935fa8f4d748220 100644
--- a/samples/simple_todo/simple_todo_main.cc
+++ b/samples/simple_todo/simple_todo_main.cc
@@ -6,7 +6,7 @@
 #include <pthread.h>
 #include <stdlib.h>
 
-#include "include/fletch_api.h"
+#include "include/dartino_api.h"
 #include "include/service_api.h"
 #include "generated/cc/simple_todo.h"
 
@@ -34,11 +34,11 @@ static void WaitForVmThread(int expected) {
   pthread_mutex_unlock(&mutex);
 }
 
-static void* StartFletch(void* arg) {
+static void* StartDartino(void* arg) {
   char* snapshot_filepath_with_name = reinterpret_cast<char*>(arg);
-  FletchSetup();
-  FletchRunSnapshotFromFile(snapshot_filepath_with_name);
-  FletchTearDown();
+  DartinoSetup();
+  DartinoRunSnapshotFromFile(snapshot_filepath_with_name);
+  DartinoTearDown();
   ChangeStatusAndNotify(kDone);
   return NULL;
 }
@@ -47,7 +47,7 @@ static void StartVmThread(char* snapshot_filename) {
   pthread_mutex_init(&mutex, NULL);
   pthread_cond_init(&cond, NULL);
   pthread_t tid = 0;
-  int result = pthread_create(&tid, 0, StartFletch,
+  int result = pthread_create(&tid, 0, StartDartino,
                              reinterpret_cast<void*>(snapshot_filename));
   if (result != 0) {
     printf("Error creating thread\n");