Fixed the characters encode problems.

Try to a allow UTF-8 encode instead of Ascii encode in different parts, that are not correctly encode right now. The worst part are in settings.js that y need to put a rare code from:
http://phpjs.org/functions

Instead this, will be good make a function like:
Cinnamon.get_file_contents_utf8_sync(path);
but for write instead read in UTF-8 encoding, some thing like that:
Cinnamon.set_file_contents_utf8_sync(path);

The current code can be fixed the problem waiting for a better solution. No do nothing it's worst that do a rare thing like this...

Please see this another posibility:
https://developer.gnome.org/glib/stable/glib-Character-Set-Conversion.html

Thanks...