add flush_cstdio function
Merge pull request #3949 from stevengj/flush_cstdio

RFC: add flush_cstdio function