Handling lists of urls to be able to specify mirrors
in case the main upstream is down. Fixes #807
Updated dev-manual for 'url'
Merge pull request #1089 from AltGr/allow-url-mirrors

Handling lists of mirrors in url files