sync Realtime synchronization library, extracted from cocalc. This is still formative, so check the issues for ways to help as we build this out.