MPI vs. fork fixes, and documentation.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  MPI vs. fork fixes, and documentation.

Conflicts:
	src/status.c