Add option to output timing information to file