Batch export of PNML and query XML files

[Jiri Srba]

Add to File/Export the item
"Batch Export to PNML and query XML"
that will allow to import files (as it is done in batch processing)
and select and output directory and then press "Export All Nets and Queries"
For each net it will then create a directory in the output directory with the
net name (remove .xml) and in the directory create two files:
model.pnml
query.xml