./setup.sh needs sudo

[RobertHa]

because it calls the genode/Makefile, which requires sudo in several commands.
this should be done without sudo

[irgendwie]

sudo is only called in necessary places:

% grep -r 'sudo' Makefile 
	sudo apt-get update -qq
	sudo apt-get install -qq libncurses5-dev texinfo autogen autoconf2.64 g++ libexpat1-dev \
	@sudo vde_tunctl -u $(USER) -t tap0
	@sudo ip link set dev tap0 address 76:5e:06:6a:7e:87
	@sudo ifconfig tap0 10.200.40.10 up
	@sudo cp config-data/dhcpd.conf /etc/dhcp/dhcpd.conf
	@sudo cp config-data/isc-dhcp-server /etc/default/isc-dhcp-server
	@sudo service isc-dhcp-server start
	@-sudo vde_tunctl -d tap0
	@sudo service isc-dhcp-server stop