lyx: tex/latex editor introduced