Update RELEASE-0.5.md
Update RELEASE-0.5.md
Optimize by default and use flags to disable
Merge pull request #323 from garyb/optimize-by-default

Optimize by default and use flags to disable
Update RELEASE-0.5.md
Disable prelude auto-import with --no-prelude
Merge pull request #324 from garyb/no-prelude-fix

Disable prelude auto-import with --no-prelude
Bump version
Encode non-ascii chars in JS strings with unicode literals
Merge pull request #329 from garyb/unicode-in-strings

Encode non-ascii chars in JS strings with unicode literals
Fixing JS encoding of " and \

Thanks @michaelficarra
Encode all JS character escape sequences

Thanks once again to @michaelficarra
Merge pull request #330 from garyb/unicode-in-strings

Fix other escape sequences