MPI_Group_intersection(3) on Linux

The text 002407be723f, as Debian 7 (Wheezy) shipped it.

Produces a group at the intersection of two existing groups.

MPI_Group_intersection(3) on Linux now