[Finalize] Del_proc also spawned processes that have different jobids

[EmmanuelBRELLE]

PML cleanup may be incomplete with processes with different name.
This happens for example with spawned processes

[bosilca]

I understand the issue you raised but I don't think this is the correct solution. You are now removing all peers from the PML, even those that belong to other sessions.

A quick scan through the code seems to indicate that the same logic is used when sessions are created (use ompi_proc_get_allocated to get the list of processes to be added). This seems to indicate that this simple fix is not the right solution to the problem.