[Benchmark] Remove benchmark directory

The benchmark was only intended to compare the old and the new
DOF handling infrastructure. The new infrastructure has been in
place for over a year now, and the old version does not even compile
anymore, so get rid of the cruft.