Vagrantfile for DevShop and development tools.