Coqlex Formally Verified Lexer Generation - arxiv.org