Improve support for sedlex ppx in the toplevel using recently introduced cookies (requires OCaml trunk).