Repair known hosts

Created separate batch files to repair known_hosts files on each
operating system after previous provisioning attempts