Add Eiffel programming language definition.

Hi!

The current definition is based on the [Standard ECMA-367](http://www.ecma-international.org/publications/standards/Ecma-367.htm) (Eiffel: Analysis, Design and Programming Language), but also includes the not yet standardized constructs.