implement_fflush

Implement fflush for stdout and stderr. Fixes #2770.