Move Tools/Python-base into this repo and update CI

Tools/Python-base (the `strata` pip package) was removed from Strata
in PR #1351 as part of the repo split. Move it here so that
Strata-Python is self-contained for its Python dependencies.

Update CI to install from ./Tools/Python-base instead of
./.lake/packages/Strata/Tools/Python-base.

Co-authored-by: Aaron Tomb <aarotomb@amazon.com>

Author: 2 people

.github/workflows/cbmc.yml

@@ -68,5 +68,5 @@ jobs:
       - name: Run Python CBMC pipeline tests
         shell: bash
         run: |
-          pip install ./.lake/packages/Strata/Tools/Python-base ./Tools/strata-python
+          pip install ./Tools/Python-base ./Tools/strata-python
           ./StrataPythonTest/run_py_cbmc_tests.sh

.github/workflows/ci.yml

@@ -42,10 +42,10 @@ jobs:
         with:
           python-version: '3.14'
       - name: Build using pip
-        # `strata-base` lives in the Strata package that lake cloned into
-        # `.lake/packages/Strata`; `strata-python` is in this repo.
+        # `strata-base` (Tools/Python-base) and `strata-python` (Tools/strata-python)
+        # both live in this repo.
         run: |
-          pip install ./.lake/packages/Strata/Tools/Python-base
+          pip install ./Tools/Python-base
           pip install ./Tools/strata-python
       - name: Run pyInterpret golden-file tests
         working-directory: StrataPythonTest
@@ -89,7 +89,7 @@ jobs:
         use-restore-keys: "false"
     - name: Build using pip
       run: |
-        pip install ./.lake/packages/Strata/Tools/Python-base
+        pip install ./Tools/Python-base
         pip install ./Tools/strata-python
     - name: Install Lean
       uses: leanprover/lean-action@v1
@@ -157,7 +157,7 @@ jobs:
         use-restore-keys: "false"
     - name: Build using pip
       run: |
-        pip install ./.lake/packages/Strata/Tools/Python-base
+        pip install ./Tools/Python-base
         pip install ./Tools/strata-python
     - name: Install Lean (for lake env)
       uses: leanprover/lean-action@v1

Tools/Python-base/.gitignore

@@ -0,0 +1 @@
+__pycache__

Tools/Python-base/pyproject.toml

@@ -0,0 +1,15 @@
+[project]
+name = "strata"
+version = "0.0.1"
+description = "Core Strata DDM datatypes and Ion serialization."
+requires-python = ">= 3.11"
+dependencies = [
+    "amazon.ion"
+]
+
+[tool.hatch.build.targets.wheel]
+packages = ["strata"]
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"