script to sort/compress ssh known_hosts file.