Added `ise_platform' function.
Fixed test to use the proper platform.
Added caveats explaining what to do after installing EiffelStudio, i.e. how to define ISE_EIFFEL and ISE_PLATFORM and updating the PATH.