Planet Grep mirrorred

Yes, Kris: everything is a fscking^W, eh, Funky DNS problem. Or, well, at least, every problem can be solved by use of some smart DNS tricks.

Planet Grep is now mirrorred on Christophe Vandeplas' server, and both servers are now published in DNS for planet.grep.be; so, next time our link goes down (hopefully never), at least Planet Grep will not cease to exist. Isn't that wonderful?