Cleaning up ./vagrant/, which shouldn't be in this repo