Add an unexposed config value for the AllSets.json file url

It will be saved only if:
* it’s different than the default (the user used a custom url);
* the download actually worked