Rename fletch -> dartino

samples/simple_todo/simple_todo_main.cc

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 #include <stdio.h>
 #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"
 
 static const int kDone = 1;
 static pthread_mutex_t mutex;
 static pthread_cond_t cond;
 static int status = 0;
 
 typedef enum {
   EC_OK = 0,
   EC_THREAD,
   EC_INPUT_ERR,
 } ErrorCode;
 
 static void ChangeStatusAndNotify(int new_status) {
   pthread_mutex_lock(&mutex);
   status = new_status;
   pthread_cond_signal(&cond);
   pthread_mutex_unlock(&mutex);
 }
 
 static void WaitForVmThread(int expected) {
   pthread_mutex_lock(&mutex);
   while (expected != status) pthread_cond_wait(&cond, &mutex);
   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;
 }
 
 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");
     exit(EC_THREAD);
   }
 }
 
 class TodoListView {
  public:
   void showMenu() {
@@ skipping 132 matching lines @@
     printf("Usage: %s <snapshot file>\n", argv[0]);
     return EC_OK;
   }
 
   ServiceApiSetup();
   StartVmThread(argv[1]);
   int ec = InteractWithService();
   WaitForVmThread(kDone);
   return ec;
 }