ECF change

Replaced the full path of the decimal library with ISE_EIFFEL
environment variable for better generic-ness.