#Howto remove an arbitrary element from a dict in python?