Chef: Converted Chef calls to the S2E syscall API.

Now the merge barrier command accepts feedback from the analysis tool.