Display per-theorem timing information in Holmake

[marioxcc]

Hello.

The feature requested is to add a command-line flag to Holmake to print timing information (and optionally, the number of primitive inferences performed) for each “relevant” theorem proved. I am not sure of what should be considered “relevant” at the ML level; probably it should include all calls to store_thm and prove.