add Python3 shebang