upgrade to codemirror 3.16