updated email adresses and git repository URL
fix STRING printing in stack trace
useless CR
fix STRING.prepend -- found while debugging eiffeltest ace tests
useful script while running eiffeltest
colors make more sense this way.
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel