Directly use the provided Vagrantbox on Atlas

Change-Id: Ib3cfb474c712c2a123cc6493f69141e85c4d16b6