build: Add option to control internal vs external synctex
Gentoo doesn't have a separate synctex package (it's part of the large texlive-core package), and we'd prefer to use the internal code to avoid the dependency.
This option lets us ensure that we will always use the internal synctex code, regardless of whether synctex is available on the system.