Use debian redirector to receive better mirrors
Merge pull request #891 from DavidS/use-debian-redirector

Use debian redirector to receive better mirrors