Update package to install exes in /usr/local/bin which are actually links to $ISE_EIFFEL/../spec/$ISE_PLATFORM/bin executables that properly sets the ISE_EIFFEL and ISE_PLATFORM environment variables.
Added comments explaining all the steps of the installation.