Improve TeX editing experience.

Began to use LaTeX-Box. Set default TeX filetype to latex.