Coq lexer

[samuelmarquis]

Putting this here so I remember to do it later. Might hit Lean and some of the other ones as well (F* and Agda come to mind, as well as some of the weirder ML dialects)

[jgarte]

Would love to have Idris2.