Script used to run (a set of) tasks through the UNIX 'time' utility, recording run-times and exporting the results in the form of a Python dictionary