v0.2.2: Performance improvement

When extracting a parser that uses the <|> combinator to OCaml, the short-circuit semantics is now respected.
This results in a substantial performance improvement.

See #14

Thanks @raoxiaojia !

This is the last version compatible with Coq 9.0.