adding utf-8 encoding to codemirror.js