Corrections to the Gitolite section

Here are miscellaneous corrections to the Gitolite section, mostly cometic changes.