sylvainhalle / textidote Java 1.1K 75 Spelling, grammar and style checking on LaTeX documents latex grammar-checker spell-check spell-checker