Flag to add evaluation time to trace

[wmertens]

Is your feature request related to a problem? Please describe.

To evaluate the performance of code, it would be nice to know how long it takes to eval something (and maybe memory too?).

Describe the solution you'd like

How about a flag that makes trace e1 e2 print e1, then eval e2 and then print the elapsed time?