Re: [DynareDev] [Trac] #298: make check: add timing information of tests