Simplified version of Vagrantfile added.