Added default Vagrantfile to ease Docker setup