cmds.distro.CmdInfo: Rename to cmds.platform.CmdInfo

Rename command "distro" to "pkg" together with "info", its last remaining subcommand. "distro" is often used in the sense of "Linux distribution", which would be too narrow for the targets jw-pkg could theoretically support.
Signed-off-by: Jan Lindemann <jan@janware.com>

src/python/jw/pkg/cmds/platform/Cmd.py

@@ -0,0 +1,16 @@
+# -*- coding: utf-8 -*-
+
+from __future__ import annotations
+
+from typing import TYPE_CHECKING
+
+if TYPE_CHECKING:
+    from ...lib.Distro import Distro
+    from ..CmdPlatform import CmdPlatform
+
+from ..Cmd import Cmd as Base
+
+class Cmd(Base): # export
+
+    def __init__(self, parent: CmdPlatform, name: str, help: str) -> None:
+        super().__init__(parent, name, help)