git-gui: use `git --html-path` to get the location of installed HTML docs