Archive mirror change

No, we have not yet updated the rsync configuration. (Sorry.) However, we have made an unrelated change: This means that if the Archive server crashes, or if CMU has a network problem, the mirror page will keep trucking along.

As before, there are no files hosted on Its only purpose is to display a list of mirrors, and redirect requests to one of them.