README.md

Basic profiling facilities for theories and proofs.

Supports data export to a format that is understood by FlameGraph.

profiler_testScript.sml: Simple theory to test the profiler.