Adding lean implementation of OpenMP and body-per-thread integrator

It is lean in the sense that it does not depend on most parts of the
framework and it does not use monitors. It is experimental and geared
towards benchmarking.
New benchmark script using Python
Make benchmark script output JSON