Removed name attribute from default tools (ie those from tools.xml), so
that they now get default names, which automatically translated if the
application language is switched.

With this patch, tools.xml no longer contains strings to be translated.

NOTE: Messages.sh was not tested