Run dart2js in batch mode also on windows

tools/bots/compiler.py

Index: tools/bots/compiler.py
===================================================================
--- tools/bots/compiler.py	(revision 39125)
+++ tools/bots/compiler.py	(working copy)
@@ -63,7 +63,7 @@
   csp = None
   arch = None
   dart2js_full = False
-  batch = False
+  batch = True
   builder_tag = None
 
   dart2js_pattern = re.match(DART2JS_BUILDER, builder_name)
@@ -123,9 +123,6 @@
       minified = True
     if dart2js_pattern.group(12) == 'x64':
       arch = 'x64'
-    if dart2js_pattern.group(14) == 'batch':
-      batch = True
-
     shard_index = dart2js_pattern.group(15)
     total_shards = dart2js_pattern.group(16)
   elif dartium_pattern:
@@ -144,10 +141,6 @@
   if system == 'mac10.8' or system == 'mac10.7':
     system = 'mac'
 
-  # This is temporary, slowly enabling this.
-  if system == 'linux' or system == 'mac':
-    batch = True
-
   if (system == 'windows' and platform.system() != 'Windows') or (
       system == 'mac' and platform.system() != 'Darwin') or (
       system == 'linux' and platform.system() != 'Linux'):