Better error reporting
Merge branch 'master' of https://github.com/safe-eiffel/ecli
[FIX] Do not get diagnostics when allocating handle
[FIX] Cosmetics
[ADD] Document error handling
Merge branch 'master' of http://github.com/safe-eiffel/ecli
Merge branch 'master' of http://github.com/safe-eiffel/ecli

Conflicts:
	.gitignore
	doc/tutorial.odt
	src/abstract/ecli_error_handler.e
	src/abstract/ecli_status.e
Merge branch 'master' of http://github.com/safe-eiffel/ecli
[FIX] Adapt for voidconfident build
[FIX] Link documentation together

[ADD] Speak about voidsafety