Tidy up statistics exported to JSON

Don't always compute final SDD's statistics, they may be costly for
big results, and they are only useful for development/analysis purposes.
Also add the possibility to export the Petri net statistics.