Fix support for OpenSSH 4.4 and later known_hosts file format

Since OpenSSH 4.4 known_hosts can include the port number.
The new format is [IP]:Port and is used when the -p option is sent to OpenSSH.