This script serves as a special TESTRUNNER to the 'make check' command.
Its primary purpose is to measure the time it takes to execute a test and append
that number to a global file. This file can then be inspected in a spread sheet to
see the distribution of test execution times etc.

Step 1: Build everything with 'make'. Abort upon build failures.
Step 2: Invoke 'make check' with this script as the TESTRUNNER so that the
        following is done for each test:
          - Execute the test (passed on command-line args) with a 30 sec timeout.
          - Append the following to a global file:
              * test case name (and path?)
              * exit status (# of failed tests)
              * execution time (secs)
              * timeout status (0/1)
Step 3: Import the global file into a spread sheet.