Rewrite of dumpTimes script
Rewrite dumpTimes.py script, used to check algorithm timings. Useful when testing optimisations.
Previously it relied on timers being in the TIMERS
directory, but now the timers go in the algorithm directory but always have TIME in the name.
Cheers,
Stewart