Merge https://github.com/wjansen/GOBO-Eiffel-debugger into extra

Conflicts:
	tool/gec/config/c/gcc.cfg
Merge branch 'extra' of https://github.com/wjansen/GOBO-Eiffel-debugger into extra