Handling lists of urls to be able to specify mirrors
in case the main upstream is down. Fixes #807
Updated dev-manual for 'url'