Adds some tools to remote-python.sh.