Documentation: rev-list: change a few instances of "git-cmd" to "git cmd"