Have pdfapp_save close and reopen the document in all cases
Have pdfapp_save close and reopen the document in all cases

We need to do this, because much can change on saving, objects renumbered
and moved, and we could run into inconsistencies between the file and
in-memory information. This function was already reopening in the case
of saving back to the same file, but in other cases.

TamirEvan/mupdf,TamirEvan/mupdf,fluks/mupdf-x11-bookmarks,muennich/mupdf,sebras/mupdf,ArtifexSoftware/mupdf,fluks/mupdf-x11-bookmarks,sebras/mupdf,muennich/mupdf,sebras/mupdf,sebras/mupdf,fluks/mupdf-x11-bookmarks,TamirEvan/mupdf,fluks/mupdf-x11-bookmarks,ccxvii/mupdf,muennich/mupdf,TamirEvan/mupdf,muennich/mupdf,TamirEvan/mupdf,muennich/mupdf,ccxvii/mupdf,ArtifexSoftware/mupdf,ArtifexSoftware/mupdf,ArtifexSoftware/mupdf,TamirEvan/mupdf,sebras/mupdf,sebras/mupdf,ccxvii/mupdf,TamirEvan/mupdf,ccxvii/mupdf,muennich/mupdf,ccxvii/mupdf,fluks/mupdf-x11-bookmarks,ccxvii/mupdf,fluks/mupdf-x11-bookmarks,ArtifexSoftware/mupdf,ArtifexSoftware/mupdf,fluks/mupdf-x11-bookmarks,TamirEvan/mupdf,muennich/mupdf,ArtifexSoftware/mupdf,ArtifexSoftware/mupdf