Add more basic docs
reset_git_repo -> reset_dcss_repo, also runs distclean