adding lexer.ml and tools.ml