Update Vagrantfile to vagrant 1.2, fix some script quirks

* the Vagrantfile is now compatible with vagrant 1.2
* the ardrone2.sh helper script halts the VM after a build
* correct permissions for the build dependencies are set