more examples; timing of ocamllex; minor fixes