Adds collaborative editing capabilities to the Monaco Editor