#5 ssh key error override

[Anonymous]

When presented with the 'remote host identification has changed' error,
offer a "delete old key and try again" or "override" button so one doesn't
have to go into the known_hosts pane, find the key in question, delete it,
and so on...