Add Debian support to example Vagrantfile.