We should provide TeXZilla as a JS module, see
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Modules
fred-wang
