WYCS: minor bug fix
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
Merge branch 'devel' of github.com:DavePearce/Whiley into devel

Conflicts:
	modules/wyil/src/wycs/WycsMain.java
Bug fixes for unicode on Mac OS X