tools: speed up genv8constants

genv8constants was much slower than necessary due to lack of pipe buffering.

tools/genv8constants.py

@@ -17,7 +17,7 @@
 
 outfile = file(sys.argv[1], 'w');
 pipe = subprocess.Popen([ 'objdump', '-z', '-D', sys.argv[2] ],
-    stdout=subprocess.PIPE).stdout;
+    bufsize=-1, stdout=subprocess.PIPE).stdout;
 pattern = re.compile('00000000 <(v8dbg_.*)>:');
 numpattern = re.compile('[0-9a-fA-F]{2}');