if no cmd line, read from stdin
Merge branch 'master' of git.phenomi.ca:ssh-jump
made instance name case-insensitive.
some versions of ssh map hostname to lower-case regardless
of what you enter (and its astonishing to have case-sensitive hostnames)