Document 'opendiff' value in config.txt and git-mergetool.txt