Extend PrM to produce XML
The commandline help should be output as XML which can then be used to automatically generate online (searchable HTML) and offline (PDF) user documentation like in Michael Selzer's solution. We could ask the person to be working at Mcihael's lab to do that for us.