Update repositories.json
Merged pull request #1098 - add renamed_packages entry for Derby