Add archiving of android zip files.

tools/bots/bot_utils.py

Index: tools/bots/bot_utils.py
===================================================================
--- tools/bots/bot_utils.py	(revision 37519)
+++ tools/bots/bot_utils.py	(working copy)
@@ -107,6 +107,10 @@
     return '/'.join([self.editor_directory(revision),
       self.editor_installer_filename(system, arch, extension)])
 
+  def editor_android_zipfilepath(self, revision):
+    return '/'.join([self.editor_directory(revision),
+      self.editor_android_zipfilename()])
+
   def sdk_zipfilepath(self, revision, system, arch, mode):
     return '/'.join([self.sdk_directory(revision),
       self.sdk_zipfilename(system, arch, mode)])
@@ -169,6 +173,9 @@
     return 'darteditor-%s-%s.zip' % (
         SYSTEM_RENAMES[system], ARCH_RENAMES[arch])
 
+  def editor_android_zipfilename(self):
+    return 'android.zip'
+
   def editor_installer_filename(self, system, arch, extension):
     assert extension in ['dmg', 'msi']
     return 'darteditor-installer-%s-%s.%s' % (
@@ -333,7 +340,7 @@
   return checksum_filename
 
 def GetChannelFromName(name):
-  """Get the channel from the name. Bleeding edge builders don't 
+  """Get the channel from the name. Bleeding edge builders don't
       have a suffix."""
   channel_name = string.split(name, '-').pop()
   if channel_name in Channel.ALL_CHANNELS: