SmartEiffel, the GNU compiler for the object-oriented language Eiffel