Adding support for O_SYNC in write(), also fixing the microops replayer to recognize fdatasync()