codemirror updated to 3.20