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

Kodiack/WhileyWeb,DavePearce/WhileyWeb,DavePearce/WhileyWeb,DavePearce/WhileyWeb,Kodiack/WhileyWeb,Kodiack/WhileyWeb