new script to simplify removal of ssh hosts whose host keys change periodically