not_in_host_file() needs port to match

Format of the hash in known_hosts may include the port. If it is set & non-standard then we should modify the format of the string to be hashed & checked for.