gitweb: Fix bug in git_difftree_body (was '!=' instead of 'ne')