git: remove old Benchmark

Does anybody care? :)
log: remove BenchmarkLogging

Good bye Benchmark.