Fast Way to Edit SSH known_hosts