Added synctex support for correlating PDFs with TeX locations.