Promote tcp2.rkt's protocol, and remove the existing tcp.rkt driver

[tonyg]

Some work still needs to be done on the tcp2 protocol, but commit 801470e makes a good start.