Added VagrantFile and reverted VagrantSetup4