Revert "Correct syntax manual"
It was wrong, we really do only log the debugger output. If the program wants to log to a file, it can do it on its own.

This reverts commit 88e18cd5de177f86af89ff63a2ba6c93a51fccb9.
Merge ssh://localhost:32422/home/bogert/mpi-debug-tutorial