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 ce3810b3c3c90818ef67f9131a93aa49edf98351..bf00d2bcbe15f90c8dea6193e8a90afb82e6dd59 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"
 
@@ -16,19 +16,19 @@ typedef enum {
   EC_INPUT_ERR,
 } ErrorCode;
 
-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();
 
   return NULL;
 }
 
 static void StartVmThread(char* snapshot_filename) {
   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");