basic writer / reader for PNML
Merge branch 'master' into cif2pnml