Add proxy patches

Hi,

These are changes for the following:
1) Write to a file other than .ssh/config
2) Allow for hostnames with aliases after them on the same line.
3) Ignore 'proxycommand' lines so that a hostname there is not confused with
   a hostname entry.