Fix: Update PDF preview after typesetting

We need to tell previewers that support `pdfsync` to refresh the output
before we call the `sync` command. Otherwise the viewer just updates the
viewing position in the old version of the PDF.