Change Puppet master server for frankoz servers to jimhenson1 since
jimhenson4 is down with hardware trouble.