Update 10_debian.sh

Pass all package at once to apt-get. Better for dependency resolution as well as more transparent what is going on.