add walltimes2csv.py