Chef: More expressive S2E system call interface.
Chef: Converted Chef calls to the S2E syscall API.

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