add file::flush()

Signed-off-by: jack <jack.wgm@gmail.com>