jens-benchmark/server: Improve benchmark.sh script

Delete (obsolte) restarting of servers from the script. Add cleanup after inter-
rupts and better size handling. Keep the size of the basefiles constant over
multi-thread benchmarks.