formatting and a new Vagrant file