Added a ruby script 'rmknownhost' which can be used to nuke bad/old/stale entries in the known_hosts file; this script facilitates removing entries faster