Add python3 shebang

Makes it easier to execute the script directly (when I opened it, it
tried treating it like a shell script, despite the file having the `.py`
extension).