Derivative parser for CFGs

This is an attempt to reconstruct the derivative-based parsing
technique from the 'Yacc is dead'-paper
(http://arxiv.org/abs/1010.5023) in OCaml.

This second version is less crap than the previous one.