Added a dynamic parser.

The parser is written in a monadic style and allow dynamic
(re)definitions of parsing rules.