Improve collab logging (#2487)

This adds some logging to the collab server, to help us identify the
source of the collaboration latency we're seeing in the 0.87 preview
version of zed.
2883d6f1efMax Brunsfeld committed on 5/18/2023, 9:17:17 PM· committed by GitHubparents923be182a11a89
3 files changedLine totals unavailable