Gather timing data for tests.
Gather timing data for tests.

To aid in the managment of the test suit, the perl script now records
the duration of each test for compilation and execution. The resulting
time is then displayed to stdout in the form:

    Duration of <test name> was <time>

When running tests locally, test output can be grep'd and graphs
plotted. A good improvement will be the automatic storing of the
results in a dat file.

tpsinnem/Idris-dev,jmitchell/Idris-dev,enolan/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,ben-schulz/Idris-dev,jmitchell/Idris-dev,jmitchell/Idris-dev,ozgurakgun/Idris-dev,jmitchell/Idris-dev,aaronc/Idris-dev,ozgurakgun/Idris-dev,tpsinnem/Idris-dev,ben-schulz/Idris-dev,eklavya/Idris-dev,aaronc/Idris-dev,bravit/Idris-dev,Heather/Idris-dev,aaronc/Idris-dev,eklavya/Idris-dev,KaneTW/Idris-dev,mpkh/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,jmitchell/Idris-dev,eklavya/Idris-dev,ozgurakgun/Idris-dev,ozgurakgun/Idris-dev,aaronc/Idris-dev,KaneTW/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,tpsinnem/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,eklavya/Idris-dev,enolan/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,tpsinnem/Idris-dev,aaronc/Idris-dev,tpsinnem/Idris-dev,ben-schulz/Idris-dev,Heather/Idris-dev,enolan/Idris-dev,ozgurakgun/Idris-dev,enolan/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,ozgurakgun/Idris-dev,FranklinChen/Idris-dev,KaneTW/Idris-dev,bravit/Idris-dev,tpsinnem/Idris-dev,aaronc/Idris-dev,markuspf/Idris-dev,KaneTW/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,KaneTW/Idris-dev,bravit/Idris-dev,enolan/Idris-dev,Heather/Idris-dev,enolan/Idris-dev,KaneTW/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,ben-schulz/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,kojiromike/Idris-dev