v.io/x/devtools: remove jiri-env and jiri-profile.

MultiPart: 1/2
Change-Id: I146a65918d4900648f9a5b58ca33f1b9a2311b91
diff --git a/project/project.go b/project/project.go
index 22430e1..8af2d12 100644
--- a/project/project.go
+++ b/project/project.go
@@ -898,12 +898,10 @@
 		return cmdline.ErrExitCode(2)
 	}
 
-	// Delete old "v23" tool, and the old jiri-xprofile command.
-	// TODO(nlacasse): Once everybody has had a chance to update, remove this
-	// code.
+	// Delete any old subcommands.
 	v23SubCmds := []string{
-		"jiri-xprofile",
-		"v23",
+		"jiri-profile",
+		"jiri-env",
 	}
 	for _, subCmd := range v23SubCmds {
 		subCmdPath := filepath.Join(binDir, subCmd)