rename benchmarkLog to benchmarkCounter

- makes more clear what this setting actually does
- we can use benchmarklog for the log file
rename benchmarklogfile to benchmarklog, similar to querylog and eventlog