A real time collaborative editor for OpenTok using CodeMirror and ot.js