Record MPI finalize in trace.
configure: Support --reconfigure
Simple benchmark to measure overhead of P2P communication.
Instrumentation for groups und MPI_send and MPI_recv.