Merge "ssh.py: add flag to keep stdin open"