Add hash-bangs to Python executables in src/etc