Wyclipse.Ui: updated afer refactoring of WhileyCompiler.  Not sure whether it works or not yet ...