Comment out unnecessary printing in trace commands.
Add a -time flag to report Carsten's timing information