Merge branch 'master' of https://github.com/gobo-eiffel/gobo
Update from master

Conflicts:
	tool/gec/config/c/gcc.cfg