wyclipse.ui: working on allowing an existing project to be converted to a WhileyProject.