js的代码高亮引擎，支持输出html、latex等格式化文本