Update codemirror.d.ts. ref #212