Update mimosa and CodeMirror