File type plugin for folding TeX files