vagrantfile for ubuntu dev environment