libdocument: restore synctex support
This merge request aims at restoring synctex support.
It reverts commit 59409c2f and moves synctex to a submodule, referencing upstream: https://github.com/jlaurens/synctex
This addresses #47
Edited by Alessandro Bruni