add somewhere (e.g., maybe on theorem view) the time it took to prove that conjecture?
overall, this "total" should be the summation of the time for each individual command.
This way, we can also have buttons for total time on particular command types
