utf-8 charset in ace.js script