Realtime collaboration in the editor

This package extends the editor to add realtime collaboration.