**/*.py: use /usr/bin/env to find python

src/trusted/validator_ragel/verify_superinstructions.py

Index: src/trusted/validator_ragel/verify_superinstructions.py
diff --git a/src/trusted/validator_ragel/verify_superinstructions.py b/src/trusted/validator_ragel/verify_superinstructions.py
index f3e765b9d2bc10ce6609d9fc55db71935f0f8f75..7d82295cfc222b5e139ee0b80a9dcd825cef0ba1 100755
--- a/src/trusted/validator_ragel/verify_superinstructions.py
+++ b/src/trusted/validator_ragel/verify_superinstructions.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 # Copyright (c) 2013 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
@@ -27,8 +27,8 @@ def SplitObjdumpLine(line):
 
   Typical line from objdump output looks like this:
 
-  "   0:	48 c7 84 80 78 56 34 	movq   $0x12345678,0x12345678(%rax,%rax,4)"
-  "   7:	12 78 56 34 12 "
+  "   0:        48 c7 84 80 78 56 34    movq   $0x12345678,0x12345678(%rax,%rax,4)"
+  "   7:        12 78 56 34 12 "
 
   There are three columns (separated with tabs):
     address: offset for a particular line