/dev/null as UserKnownHostsFile

Add an ssh option UserKnownHostsFile=/dev/null so that ssh could be used
non-interactively.