Indent download*.json files

To make editing the download*.json files or looking at diffs easier, we shoud indent those files.