A Grammar Checker for LyX and LaTeX