A formatter that records running times of spec files