sage-dev: some documentation fixes
sage-dev: always define doctest_config
sage-dev: more fleshing out of GitInterface