install all tools needed, set-gnome-settings.sh has to be done manually