Server updates on 2014jan22 were successful

The departmental servers are working fine after the updates.

For increased reliability redundant power supplies were added to coxeter and sphere and they were attached to redundant UPSes.