MPI_Group_range_excl(3) on Linux

The text 6cfff3eb741b, as Debian 7 (Wheezy) shipped it.

Produces a group by excluding ranges of processes from an existing group.

MPI_Group_range_excl(3) on Linux now