MPI_Group_excl(3) on Linux

The text 0556abc84c4b, as Debian 9 (Stretch) shipped it.

Produces a group by reordering an existing group and taking only unlisted members

MPI_Group_excl(3) on Linux now