updated codemirror version to 3.16