/**
* @brief Setup output redirecting
*
* Redirects user program's stdout to a pipe so that we can dump it
* selectively, when displaying bugs, etc.
/**
* @brief Setup output redirecting
*
* Redirects user program's stdout to a pipe so that we can dump it
* selectively, when displaying bugs, etc.