benchmark.py: add options argument to toggle between csv vs. .txt output