Bug#945236: Fixed the DNS

[Thomas Goirand]

Hi,

mirror1.infomaniak.com and mirror2.infomaniak.com are now pointing to
the correct IP addresses. Sorry for my mistake, now everything should be
good to go.

Cheers,

Thomas Goirand (zigo)