default box git repo has gone; change docs to refer to repo in ~/tool