Add TeX-source-correlate-mode