Use encodeJSON for showing international characters

Related to issue: https://github.com/HeinrichApfelmus/threepenny-gui/issues/62

The issue seems to have regressed. I think this is a fix for again rendering scandinavian (and others) characters.