add shebang to scripts that have execute bit set

src/etc/check-binaries.py

@@ -1,4 +1,6 @@
-# Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+#!/usr/bin/env python
+#
+# Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
 # file at the top-level directory of this distribution and at
 # http://rust-lang.org/COPYRIGHT.
 #

src/etc/check-summary.py

@@ -1,3 +1,5 @@
+#!/usr/bin/env python
+#
 # Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
 # file at the top-level directory of this distribution and at
 # http://rust-lang.org/COPYRIGHT.

src/etc/extract_grammar.py

@@ -1,3 +1,5 @@
+#!/usr/bin/env python
+#
 # Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
 # file at the top-level directory of this distribution and at
 # http://rust-lang.org/COPYRIGHT.

src/etc/get-snapshot.py

@@ -1,4 +1,6 @@
-# Copyright 2011-2013 The Rust Project Developers. See the COPYRIGHT
+#!/usr/bin/env python
+#
+# Copyright 2011-2014 The Rust Project Developers. See the COPYRIGHT
 # file at the top-level directory of this distribution and at
 # http://rust-lang.org/COPYRIGHT.
 #

src/etc/make-snapshot.py

@@ -1,4 +1,6 @@
-# Copyright 2011-2013 The Rust Project Developers. See the COPYRIGHT
+#!/usr/bin/env python
+#
+# Copyright 2011-2014 The Rust Project Developers. See the COPYRIGHT
 # file at the top-level directory of this distribution and at
 # http://rust-lang.org/COPYRIGHT.
 #