PGADestroy(3) on Linux

The text 337d09bed58d, as Debian 1.1 (Buzz) shipped it.

deallocate memory for this instance of PGAPack, if this context initialized MPI, finalize MPI as well.