Monitor performance benchmarks using number of instructions reported by valgrind's cachegrind

[msimberg]

In addition to the current performance benchmarks, it would make sense to monitor the number of instructions using valgrind's cachegrind tool. This should have significantly less variation than timing benchmarks directly within pika and makes the performance benchmarks somewhat independent of the hardware they run on.