R packaging of Jan Gleixner's PatchKnitSynctex