MPI_Testall.openmpi(3) on Linux

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

Tests for the completion of all previously initiated communications in a list.