Fix sexp lexer for escaped sequences such \000
followed by another digit#6710
Merged
rgrinberg merged 2 commits intoocaml:main from shym:sexp-lexer-long-matchesDec 15, 2022
+17-2
\000
followed by another digit#6710