Integrate cosim, socket comms, basic message flow.

Tested in utop, seems to step the simulation OK for now.
Next step is to add a Cyclesim implementation and start testing
for real.  Hopefully nearly there!