Rename fletch -> dartino

tools/run_fletch_agent

Index: tools/run_fletch_agent
diff --git a/tools/run_fletch_agent b/tools/run_fletch_agent
deleted file mode 100755
index b830e8cc93a777707ffc82476704dfa83cacd2a9..0000000000000000000000000000000000000000
--- a/tools/run_fletch_agent
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/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 -e
-
-BUILD_DIR=$(pwd)/out/DebugIA32Clang
-FLETCH_AGENT_SNAPSHOT=${BUILD_DIR}/fletch-agent.snapshot
-export FLETCH_VM=${BUILD_DIR}/fletch-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
-
-# 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
-
-# Run the agent
-exec ${FLETCH_VM} ${FLETCH_AGENT_SNAPSHOT}