Tech:Prod1

On July 30th, prod1 was migrated away from Amazon Web Services to RamNode. Until mid-August, prod1 was still referenced in code which since has been removed. During later August, prod1 has been removed from DNS, nagios and documentation while the whole infrastructure was being migrated to DigitalOcean. prod1 is no longer part of the Orain cluster and its purpose was taken by prod6. The host name will not be used any where else.