initial commit of posix model verification, includes a lot of extra repy files for now.
changes to make the script use loopback this prevents us from needing to make
changes for each specific machine.
changes to make the script use loopback IP address
Eleni's fix that wasn't included for some reason.   This is why the memory 
leak occurred.
changes to make the script use loopback IP address
fix problem that when socket connection turn off, the program can not be finished
Added my changes for review.
Inital changes to test harness and verify test harness.
Updated verification and test harness to handle more edge cases. Should work on most network straces now. Code is a mess though...
fixed ip issue with oracle, may be more unrelated issues
removed oracle usage on some net calls
Corrected error in sendto syscall. In the special case where sendto tried to call send, the flags parameter was left out. Added that parameter to the call.
update serialization module with cPickle
add wait time for blockstore start
Added support for null remote ip/port in recvfrom call in wrapped lind net calls. Fixed fd tracking issues related to dup, dup2, fcntl, and pipe in verify test harness and posix test harness. Code is still a mess, but running correctly now.
Made various changes to update wrapped files to current lind files, handle eventfd, inotify_init, etc. file descriptors, and to begin testing model on known network bugs.
Initial commit of CheckAPI with c module
update for use cPickle serialize large list object
Update for test benchmark, read file from tracelog file, then do verification
Update for test benchmark, read file from tracelog file, then do verification