MPI_Group_range_excl(3) on Linux

The text 868948ff21bc, as Debian 9 (Stretch) shipped it.

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

MPI_Group_range_excl(3) on Linux now