Add hash-bangs to Python executables