proper shebang line

tools/update_revnum.py

@@ -1,3 +1,4 b''
+#!/usr/bin/env python
 """ Change the revision number in Release.py """
 
 import os