make check: add timing information of tests

Add information to each .trs file about how long the test took to run

In the make check summary, list the 10 tests that took the longest