Update cities.json

Dear maker of maps,

Need a metro extract for the city of agra in india. I hope I made the right edits.

Thank you,
Navajeet