Add build target to run the benchmarks

Uses Dumbbench to run benchmakrs both with and without profiling
and computes the slowdown.

The full test takes some minutes (but does not need to be run often,
so it should be OK).