Add config variable to set HTML path for git-help --web