[ale] CentOS IP addresses

[Michael B. Trausch]

Well, RH screwed up the domain, but I found a cache.  :) (I already 
notified the tech contact address in whois.)

I am mirroring the latest tree... Add these to /etc/hosts temporarily, 
and it's accessible again:

[mtrausch at aloe ~]$ host seven.centos.org 8.8.4.4
Using domain server:
Name: 8.8.4.4
Address: 8.8.4.4#53
Aliases:

seven.centos.org has address 85.13.208.13
[mtrausch at aloe ~]$ host www.centos.org 8.8.4.4
Using domain server:
Name: 8.8.4.4
Address: 8.8.4.4#53
Aliases:

www.centos.org has address 85.12.30.227
www.centos.org has IPv6 address 2a02:2498:1:3d:225:90ff:fe4f:11c8
[mtrausch at aloe ~]$ host buildlogs.centos.org 8.8.4.4
Using domain server:
Name: 8.8.4.4
Address: 8.8.4.4#53
Aliases:

buildlogs.centos.org has address 85.236.43.108
buildlogs.centos.org has address 66.241.106.181