gitweb: Separate printing difftree in git_commit into git_difftree_body