[bitfolk] IP renumbering

Hi, Some of this was easy (changing where the slave DNSes got their info from was a simple sed search and replace) and some tedious (changing all the master DNS where because of needing to change the serial number for all of them, this was done by hand via a control panel - if there was an easier way, I am not sure I want to know now :) ) The one thing not mentioned on the wiki is that doing in /etc now comes up with one hit, in ntp.conf: so I changed that to 85.119.80.238 and 85.119.80.244 per the customer information page on the website and restarted ntp. Now I think it's just a case of waiting for the rest of the net to notice the DNS changes... Ian