gitweb: Fix git_patchset_body not closing <div class="patch">