Export to html; slightly change tmLang for convenient export

close #141