clarified usefulness of vagrant in reproducibility_tools