Update Readme for EiffelStudio 7.1 users