Make file flush optional

[klenin]

Currently files are flushed only on exit for maximum performance.

Add (per-file?) option to perform file system flush on every pipe flush.