Updated Eiffel readme.