Proof Profiler — ACL2 Sidekick

### Proof Profiler

This is like ACL2's accumulated-persistence and dmr features. It updates automatically as you submit new proofs.

Note that proofs will be considerably slower with profiling enabled.

#### Todo/Wishlist

- Implement bare-bones version
- Figure out how to turn profiling on/off dynamically.
- Major feature: click/hover on a rule to see what it is.
- How about also automatic disable lists?