Update codemirror to 3.20.