Added bench.h and a simple benchmark for transitivity.
Replaced the C++ benchmark code with C code, and measure processor time instead of real time.
Merge branch '0.7-benchmarks' into develop