Don't autorun vagrant-dns

Vagrant has a bug which causes `vagrant up` to hang when using
`vagrant-dns`. This "fix" means that users will have to manually start
and stop the `vagrant-dns` server with

    vagrant dns --start
    vagrant dns --stop

as necessary.