Add quick explanation of how to redirect stderr.
Merge pull request #8247 from danluu/manual_stderr

Add a sentence in the manual on how to redirect stderr