Don't dump Petri net statistics in pnmc's JSON.

There should be a dedicated option for this.