Patch suggested by Hamish Lawson: add an __iter__() that returns

iter(self.keys()).