Looking for a small lens for EPL-5

I'm looking for a smaller lens (i.e. pancake) for my EPL-5, and am debating between the Panasonic 14/2.5, Oly 17/2.5, and Pan 20/1.7 mostly for something to use walking around/compact rather than 14-42 kit.

I'm open to suggestions on other lenses as well. 
The kit lens is large on this body. I've got a trip to China in a few weeks and would like a lens that would be good for walking around a city and sights while remaining compact. 
Any suggestions?