Fixed: washington DC is missing from the city_list. Closes #6
More flexible predefined city mapping.
Dump cities always in the same order.
Small optimization using dictionary views.