Wrote csv-tester.py, the main timing script. Allows timing all 3 modes of runbdd, doing multiple runs, choosing files, and more