klee: added missing include file

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
asan: patch to make it work with S2E

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
slirp: fixed use-after-free of sockets

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>