partial merge

[Dan Bean]

One of the original ideas for the petri nets tool was the ability to select which coarse transitions to include in detail. This would be straightforward enough to add if only for our own use.

Select which coarse transitions to expand, delete the others before pairing network data with coarse transitions in megamerge