pnml2nupn v3.0.2

This release brings options use.place.names and use.transition.names.
With these options set, the translator will use PNML node names instead
of their ids for the mappings in the labels section of the NUPN file.