Upgrade on mirrors.dotsrc.org


The server hosting mirrors.dotsrc.org has been upgraded with newer and faster hard drives. The software stack has also been updated, which includes a switch from using the Apache HTTP server to Nginx.