Add 'forget', a tool to remove entries from SSH known hosts