update to latest cohttp.

probably also updated websockets.  we now get EXN: End_of_file,
which I think is related to websockets closing, but cant seem
to trap ???

Functionality otherwise seems to be ok.