Cleaned up Vagrantfile a bit, got rid of some cruft.