integrated CodeMirror with LaTeX syntax, added codemirror jQuery plugin