Add SyncTeX API

This API is used by authors to retrieve the generated SyncTeX generated data.
Data are sent gzipped as generated by the LaTeX compiler.