[Android] Add zip pushing and refine push mode selection.

build/android/pylib/valgrind_tools.py

Index: build/android/pylib/valgrind_tools.py
diff --git a/build/android/pylib/valgrind_tools.py b/build/android/pylib/valgrind_tools.py
index 69f351a674c436248d5007e1246f99f27942c79f..c63117280f2b722e09291292c194c2e276748d14 100644
--- a/build/android/pylib/valgrind_tools.py
+++ b/build/android/pylib/valgrind_tools.py
@@ -172,10 +172,10 @@ class ValgrindTool(BaseTool):
         'rm -r %s; mkdir %s' % (ValgrindTool.VGLOGS_DIR,
                                 ValgrindTool.VGLOGS_DIR))
     files = self.GetFilesForTool()
-    for f in files:
-      self._device.PushChangedFiles(
-          os.path.join(DIR_SOURCE_ROOT, f),
+    self._device.PushChangedFiles(
+        [((os.path.join(DIR_SOURCE_ROOT, f),
           os.path.join(ValgrindTool.VG_DIR, os.path.basename(f)))
+         for f in files)])
 
   def SetupEnvironment(self):
     """Sets up device environment."""