tool_chain

[Norman Feske]

Hi Julian,

thanks for the refinements and the added documentation. I checked in
the new version with a small change into the SVN. Instead of using
inverse argument "NOSUDO=yes", we just specify the sudo binary at
the command line. For preventing the call of sudo, just specify
'SUDO='. This is in line with the 'VERBOSE=' argument as used by
Genode's build system.

Regards
Norman