Collaborative Text Editors

Various versions of the collaborative text editor, including: a CRjDT version, a naive SECRO version and a tree-based SECRO version.