Refactor incoming segments code to no longer need callCC
Refactor incoming segments code to no longer need callCC

Also fix a bug where the callCC version wasn't falling through properly,
and prevented sockets from going into TIME_WAIT

GaloisInc/HaNS,cartazio/HaNS,cartazio/HaNS,GaloisInc/HaNS