formatting: More formatting options for local dump.
formatting: Also dump only basic stats.
Merge pull request #204 from frenetic-lang/formatting

formatting: More formatting options for local dump.