Shorten the menu command (numtide#23)

Author: David Arnold

mkDevShell/options.nix

@@ -102,7 +102,7 @@ in
       type = types.str;
       default = ''
         ${ansiBoldOrange}🔨 Welcome to ${config.name}${ansiReset}
-        $(devshell-menu)
+        $(menu)
       '';
       description = ''
         Message Of The Day.
@@ -188,7 +188,7 @@ in
     commands = [
       {
         help = "prints this menu";
-        name = "devshell-menu";
+        name = "menu";
         command = ''
           echo "[commands]"
           cat <<'DEVSHELL_MENU'