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"
 
 typedef enum {
   EC_OK = 0,
   EC_THREAD,
   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");
     exit(EC_THREAD);
   }
 }
 
 class TodoListView {
  public:
   void showMenu() {
@@ skipping 130 matching lines @@
 int main(int argc, char** argv) {
   if (argc < 2) {
     printf("Usage: %s <snapshot file>\n", argv[0]);
     return EC_OK;
   }
 
   ServiceApiSetup();
   StartVmThread(argv[1]);
   return InteractWithService();
 }