Implementation of a simple PEG-parsing module.

Based on the HOL definitions in examples/parsing.

I may use this as a the basis for a markdown like syntax for help
files (see issue #102).