MPI_Allreduce.openmpi(3) on Linux

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

Combines values from all processes and distributes the result back to all processes.