Documentation: add git-mergetool to the command list.