Rename fletch -> dartino

tools/run_dartino_agent

Index: tools/run_dartino_agent
diff --git a/tools/run_fletch_agent b/tools/run_dartino_agent
similarity index 50%
rename from tools/run_fletch_agent
rename to tools/run_dartino_agent
index b830e8cc93a777707ffc82476704dfa83cacd2a9..5f6d28e6cac8f15297c0736f654c039011b6eab2 100755
--- a/tools/run_fletch_agent
+++ b/tools/run_dartino_agent
@@ -6,22 +6,22 @@
 set -e
 
 BUILD_DIR=$(pwd)/out/DebugIA32Clang
-FLETCH_AGENT_SNAPSHOT=${BUILD_DIR}/fletch-agent.snapshot
-export FLETCH_VM=${BUILD_DIR}/fletch-vm
+DARTINO_AGENT_SNAPSHOT=${BUILD_DIR}/dartino-agent.snapshot
+export DARTINO_VM=${BUILD_DIR}/dartino-vm
 export AGENT_IP=127.0.0.1
 export AGENT_PORT=12121
-export AGENT_PID_FILE=${BUILD_DIR}/agent/var/run/fletch-agent.pid
-export AGENT_LOG_FILE=${BUILD_DIR}/agent/var/log/fletch-agent.log
-export VM_LOG_DIR=${BUILD_DIR}/agent/var/log/fletch
+export AGENT_PID_FILE=${BUILD_DIR}/agent/var/run/dartino-agent.pid
+export AGENT_LOG_FILE=${BUILD_DIR}/agent/var/log/dartino-agent.log
+export VM_LOG_DIR=${BUILD_DIR}/agent/var/log/dartino
 
 # Create required files.
 mkdir -p ${VM_LOG_DIR}
 touch ${AGENT_PID_FILE} ${AGENT_LOG_FILE}
 
 # Create snapshot
-${BUILD_DIR}/fletch quit
-${BUILD_DIR}/fletch export pkg/fletch_agent/bin/agent.dart to \
-  $FLETCH_AGENT_SNAPSHOT
+${BUILD_DIR}/dartino quit
+${BUILD_DIR}/dartino export pkg/dartino_agent/bin/agent.dart to \
+  $DARTINO_AGENT_SNAPSHOT
 
 # Run the agent
-exec ${FLETCH_VM} ${FLETCH_AGENT_SNAPSHOT}
+exec ${DARTINO_VM} ${DARTINO_AGENT_SNAPSHOT}