Use utf-8 encoding, especially for Ace editor. Fixes #13.