sage-dev: make Config inherit from collections.MutableMapping
sage-dev: work towards making the git interface doctestable