Parameterize the UserKnownHostsFile /dev/null setting

Added a possibility to disable the "UserKnownHostFile /dev/null" addition to ssh_config.