Rename fletch -> dartino

tools/bots/dartino_namer.py

Index: tools/bots/dartino_namer.py
diff --git a/tools/bots/fletch_namer.py b/tools/bots/dartino_namer.py
similarity index 91%
rename from tools/bots/fletch_namer.py
rename to tools/bots/dartino_namer.py
index da81a8f94aa9a2312334af2edf36bab01cf76854..921d110f43c702bc4fd74efe387a21966724d6b3 100644
--- a/tools/bots/fletch_namer.py
+++ b/tools/bots/dartino_namer.py
@@ -4,14 +4,14 @@
 
 import bot_utils
 
-class FletchGCSNamer(bot_utils.GCSNamer):
+class DartinoGCSNamer(bot_utils.GCSNamer):
   def __init__(self, channel=bot_utils.Channel.BLEEDING_EDGE,
                release_type=bot_utils.ReleaseType.RAW, temporary=False):
-    super(FletchGCSNamer, self).__init__(channel, release_type, False)
+    super(DartinoGCSNamer, self).__init__(channel, release_type, False)
     if temporary:
-      self.bucket = 'gs://fletch-temporary'
+      self.bucket = 'gs://dartino-temporary'
     else:
-      self.bucket = 'gs://fletch-archive'
+      self.bucket = 'gs://dartino-archive'
 
   def dartino_sdk_directory(self, revision):
     return self._variant_directory('sdk', revision)
@@ -44,7 +44,7 @@ class FletchGCSNamer(bot_utils.GCSNamer):
         self.arm_agent_filename(revision)])
 
   def raspbian_filename(self):
-    return 'fletch_raspbian.img'
+    return 'dartino_raspbian.img'
 
   def raspbian_zipfilename(self):
     return '%s.zip' % self.raspbian_filename()