Added the --no-pmda hidden option (not implemented yet).
Updated to reflect recent PMDA++ API changes.