Update codemirror to 3.16