Add Python3 shebang