formatting: More formatting options for local dump.
formatting: Also dump only basic stats.
Merge branch 'formatting' into experiments

Conflicts:
	frenetic/katnetic.ml