Introduction to Eiffel (B. Meyer) SmartEiffel library documentation bashrc cshrc loadpath.se Gobán Eiffel library Gobán Saor: stories