Quick and dirty XML parser for PNML (PT only).