MPI_Pack_external_size.openmpi(3) on Linux

The text 67ed9e780ef9, as Debian 8 (Jessie) shipped it.

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