Update to codemirror 3.16