a pitty -- todo later
bugfix
Merge git.sv.gnu.org:/srv/git/liberty-eiffel
Renaming gc-related tutorials
Adding 'Great Language Shootout' benchmarks from SmartEiffel SVN repository