Makefile: Print timing information in test output.