MPI_Pack_external_size.openmpi(3) on Linux

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

Calculates upper bound on space needed to write to a portable format