more diagnostic info when running (e.g. timings on reading and simplifying)
Merge branch 'master' into openmp
Add an explicit exit() at tned of graph-stats.  This avoids calling the
destructors on all the objects, and reduces (useless) runtime
drastically.
Merge branch 'master' into openmp