Updating the EiffelStudio and Ubuntu version.