Rename the tool to extract XML from a .repo checkout to deref-repo.

Change-Id: I977ef868fd98a280581bbcaec897bbecaa0cc80a
diff --git a/all.bash b/all.bash
index d7bf7b7..17550e3 100644
--- a/all.bash
+++ b/all.bash
@@ -25,7 +25,7 @@
 cmd/slothfs-manifestfs \
 cmd/slothfs-populate \
 cmd/slothfs-gitilesfs \
-cmd/slothfs-deref-manifest \
+cmd/slothfs-deref-repo \
 cmd/slothfs-gitiles-test \
   ; do
   p=github.com/google/slothfs/${sub}
diff --git a/cmd/slothfs-deref-manifest/main.go b/cmd/slothfs-deref-repo/main.go
similarity index 100%
rename from cmd/slothfs-deref-manifest/main.go
rename to cmd/slothfs-deref-repo/main.go