Updating whiley web for the new version of the language ...