Fix: augment run.klee with symbolic sockets
Support for pipe(2)
Add a set of unit tests