MPI_Allreduce.openmpi(3) on Linux

The text f43f17ec725d, as Debian 10 (Buster) shipped it.

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