Make EnableTimer a proper bool and add TimerSummaryFile property
- Set
EnableTimer = True
by default.OutputLevel > INFO
disables it. - Add
TimerSummaryFile
property to denote the output file for the table. ImpliesEnableTimer = True
. - Prompted by !80 (merged)