Slight change needed to work with Camlp5 8.03.00

[chetmurthy]

Hello, I'm the Camlp5 maintainer, and in upgrading for compatibility with Ocaml 5.2.0, I need to make a change to the type of "lexer". You use this in cicNotationLexer.ml, and I'm going to send you a PR to bring matita up-to-date with the upcoming release of Camlp5. The problem is that the change is breaking: I don't see a way to get the compat needed with OCaml 5.2.0 without breaking the interface.

Hence, I thought I should ask why you're using this lexer interface directly, instead of something higher-level; perhaps I can help you to figure out how to use a higher-level interface ?