Fix doHTTPRequest in the case that receive_MT finishes with eom
receive_MT can return
TR_NoSuccess when an
eom is found. This is not a communication failure; so we should return
Ok instead of
With the old version, the Cloogle IRC bot would occasionally get "hung up during transmission" errors (observed with the queries
no_op, for instance, using a local Cloogle instance).