share/sharedb: A database frontend for concurrent editing systems