Bug#945236: mirror submission for mirror.infomaniak.com

[Thomas Goirand]

As per discussion on IRC, to avoid a race condition, please split this into:

mirror1.infomaniak.com
mirror2.infomaniak.com

FYI, mirror2 recieves a push from mirror1.

Thomas Goirand (zigo)