Collaborative editor in Scala/JavaScript using Google's Diff Match Patch