Updated the version of wyjc supplied with WHileyWeb