Support for instrumentation in Open MPI