switching to codemirror 3.13
fixes #22