Improved output redirection for MPI processes

This relies on Linux/POSIX-specific functions, but it redirects the
underlying file descriptors instead of just the high-level C++ streams,
so that even output using the C stdio API are redirected. Most
importantly, this includes stack backtraces (from our StackBacktrace.h)
and any output from external libraries.