Feature: Generate statistics

[jamievicary]

It would be nice if Globular could produce statistics for a proof, or for an entire workspace. Here are some ideas:

• For a proof:
  • Proof size
  • Counts of each cell type used
• For a workspace:
  • Dependency graph for generators

What else would be good to see?