Redirecting stdout and stderr (actually Format.std_formatter and Format.err_formatter)