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
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