robsimmons Add a -time flag to report Carsten's timing information

Latest commit d61d959

Jul 25, 2013