Rename fletch -> dartino

tools/lk/run_snapshot_lk_qemu.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.
 
 if [ "$1" == "-m" ]; then
 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 (cd ${DIR}/../../third_party/lk; make -j4 DEBUG=1)
 shift
 fi
@@ skipping 19 matching lines @@
 
 cleanup_file() {
   echo "Removing '$PIPEDIR'"
   rm -rf "$PIPEDIR"
 }
 trap cleanup_file EXIT
 
 mkfifo "$PIPEDIR/qemu.in" "$PIPEDIR/qemu.out"
 
 echo "Starting qemu..."
-./third_party/qemu/linux/qemu/bin/qemu-system-arm -machine virt -cpu cortex-a15 -m 16 -kernel third_party/lk/out/build-qemu-virt-fletch/lk.elf -nographic -serial pipe:$PIPEDIR/qemu &
+./third_party/qemu/linux/qemu/bin/qemu-system-arm -machine virt -cpu cortex-a15 -m 16 -kernel third_party/lk/out/build-qemu-virt-dartino/lk.elf -nographic -serial pipe:$PIPEDIR/qemu &
 PID=$!
 cleanup() {
   echo "Killing $PID"
   kill $PID
   cleanup_file
 }
 trap cleanup EXIT
 
 echo "Started with PID $PID"
 
 echo "Waiting for qemu to come up..."
 grep -qe "entering main console loop" $PIPEDIR/qemu.out
 
-echo "Starting fletch..."
-echo "fletch" > $PIPEDIR/qemu.in
+echo "Starting dartino..."
+echo "dartino" > $PIPEDIR/qemu.in
 
 echo "Waiting for size..."
 grep -qe "STEP1" $PIPEDIR/qemu.out
 
 echo "Sending size ($SIZE)..."
 echo $SIZE >$PIPEDIR/qemu.in
 
 echo "Waiting for snapshot request..."
 grep -qe "STEP2" $PIPEDIR/qemu.out
 
 echo "Sending snapshot..."
 cat $1 >$PIPEDIR/qemu.in
 
 while IFS='' read -r line; do
   echo "$line"
-  if [ "$line" = $'TEARING DOWN fletch-vm...\r' ]; then
+  if [ "$line" = $'TEARING DOWN dartino-vm...\r' ]; then
     break;
   fi
   if [ "$line" = $'Aborted (immediate)\r' ]; then
     exit 253;
   fi
   if [ "$line" = $'Aborted (scheduled)\r' ]; then
     exit 253;
   fi
   if [[ "$line" =~ "HALT: spinning forever..."* ]]; then
     exit 253;
   fi
   if [[ "$line" =~ "CRASH: starting debug shell..."* ]]; then
     exit 253;
   fi
 done < $PIPEDIR/qemu.out
 
 read -r line< $PIPEDIR/qemu.out
 echo "$line"
 
 exit ${line:11:-1}