Mirage 2.0 compatible TCP/IP release, and socket backend fixes

• Moved 1s complement checksum C code here from mirage-platform.
• Depend on Console_unix and Console_xen instead of Console.
• [socket] Do not return an Eof when writing 0-length buffer (#76).
• [socket] Accept callbacks now run in async threads instead of being serialised (#75).