Modified the Design doc to reflect discussion with Rob & Jon.

Changed the throughput calculation, cleaned up MaxDelay and
all other files in general to be more readable.

Added checks for out of order ACKs, and error conditions to
check for invalid packets.

sendto() calls block on Linux - verified this on
planet lab - made the writes to UDP socket non-blocking.