(do not merge) Travis: report time, consumed by commands