gather ssh host keys from hosts in puppet, fix a bug with known_hosts.sh generation