Vagrantfile: reboot before compiling DPDK so it picks up new kernel
configure-vagrant.bash: check and load uio and igb_uio modules
setup-debian.bash: increase aptitude verbosity
setup-dpdk.bash: don't run make config, copy in config
setup-perl.bash: use better wget output format
setup-vagrant.bash: ssh_config, reorder git, nanomsg, add spcdns