Rename eiffel.eiffel to eiffel.e