updated vagrant instructions and VagrantFile