Allow 'known_hosts_file' as SSH client option

This allows us to use a known hosts file so we don't have to disable
strict host key checking to SSH into hosts we haven't SSH'd into before.

This is related to issue #8250