Redirect isedoc

The Eiffel documentation changed, please update your bookmarks, links, etc... with this new website.

• Follow the guide.
• you can also search the new website.

Enjoy this new documentation website.