Rename fletch -> dartino

samples/simple_todo/compile.sh

 #!/bin/bash
 
 # 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.
 
 set -eu
 
 THIS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
 ROOT_DIR=$(cd "$THIS_DIR/../.." && pwd)
@@ skipping 21 matching lines @@
 
 function print_error() {
   echo "Error: $1"
   print_help
   exit 1
 }
 
 function build() {
   SUFFIX=service_tests/simple_todo_$1
   OUT="$ROOT_DIR/out/${MODE_CC}${ARCH_UC}/temporary_test_output/$SUFFIX"
-  $TEST_PY -a $ARCH -m $MODE fletch_tests/$SUFFIX
+  $TEST_PY -a $ARCH -m $MODE dartino_tests/$SUFFIX
   echo
   echo "Compilation and testing succeeded"
   echo "Compiled output in"
   echo "  $OUT"
 }
 
 while [[ $# > 1 ]]; do
   case "$1" in
     -a|--arch) ARCH="$2"; shift 2;;
     -m|--mode) MODE="$2"; shift 2;;
@@ skipping 27 matching lines @@
     fi
     build java
     LD_LIBRARY_PATH=$OUT \
     java -d64 -ea -cp $OUT/simple_todo.jar -Djava.library.path=$OUT \
       SimpleTodo $OUT/simple_todo.snapshot
     ;;
   *)
     print_error "unknown target '$TARGET'"
     ;;
 esac