vagrantfile for Dokku