Strip /* */ style comments in js2c. Saves ~17k of binary size.

Review URL: http://codereview.chromium.org/19012


git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@1174 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

tools/js2c.py

@@ -50,6 +50,7 @@ def CompressScript(lines):
   # Note that we could easily compress the scripts mode but don't
   # since we want it to remain readable.
   lines = re.sub('//.*\n', '\n', lines) # end-of-line comments
+  lines = re.sub(re.compile(r'/\*.*?\*/', re.DOTALL), '', lines) # comments.
   lines = re.sub('\s+\n+', '\n', lines) # trailing whitespace
   return lines