trivial reformat to keep code within 80 columns.
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).