das_bench improvements

* added options: minclients, repeat
* writelock when writing execution time to prevent race condition in multiprocessing
* support other output formats than pdf, such as png
minor cleanup