Change name of our mirror

[hcgrove]

One.com is now a part of group.one, so going forward we would like our mirror server at mirror.one.com to be known as mirror.group.one. Nothing else changes (right now) the hardware is the same, it's hosted in the same place on the same ip.