MPI_Group_difference(3) on Linux

The text 81f75ac35055, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

Makes a group from the difference of two groups

MPI_Group_difference(3) on Linux now