chore(license): flip 5039 PMPL→MPL-2.0 stamps in iser-tools/ (Phase 2) (#104)

## Summary

Phase 2 of the developer-ecosystem PMPL→MPL-2.0 sweep (Phase 1 = #103).
This PR covers the `iser-tools/` subtree as a single batch per the
per-subdir scoping plan.

## Scope

**5,039 files** flipped `SPDX-License-Identifier: PMPL-1.0-or-later` →
`MPL-2.0` across 23 `*iser/` subdirs:

| Subdir | Files |
|---|---|
| `iser-tools/nimiser/` | 225 |
| `iser-tools/ponyiser/`, `iser-tools/otpiser/`,
`iser-tools/oblibeniser/`, `iser-tools/iseriser/`,
`iser-tools/idrisiser/` | 222 each |
| `iser-tools/wokelangiser/`, `iser-tools/mylangiser/`,
`iser-tools/lustreiser/`, `iser-tools/julianiser/` | 221 each |
| `iser-tools/tlaiser/`, `iser-tools/halideiser/` | 220 each |
| `iser-tools/phronesiser/` | 219 |
| `iser-tools/ephapaxiser/`, `iser-tools/chapeliser/`,
`iser-tools/bqniser/` | 217 each |
| `iser-tools/eclexiaiser/`, `iser-tools/dafniser/`,
`iser-tools/betlangiser/`, `iser-tools/atsiser/`,
`iser-tools/anvomidaviser/` | 216 each |
| `iser-tools/futharkiser/`, `iser-tools/alloyiser/` | 215 each |

## Verification

- Each `iser-tools/*/LICENSE` is already MPL-2.0 ✓ — only the
source-file SPDX stamps were drifting.
- These are check-in copies (NOT git submodules — verified, no
`.gitmodules` entries for `iser-tools/`).
- `grep -rl 'SPDX-License-Identifier: PMPL-1.0-or-later' iser-tools/`
returns **0 files** post-sweep.

## Coordination note

The standalone `hyperpolymath/*iser` repos (`nimiser`, `ponyiser`,
`idrisiser`, `iseriser`, `anvomidaviser`, `otpiser`, etc.) exist as
separate repos in the org and **all still have PMPL source SPDX drift
today**. Each will need its own equivalent flip PR (separate work). If
`iser-tools/` is auto-regenerated from those, the changes here will
revert on next sync — flag for owner: which is the source of truth?

## Why draft

Single PR with 5,039 files changed (uniform SPDX header flip); owner
sight on diff size before merge.

## Same pattern as

- `hyperpolymath/neurophone#102` (canonical PMPL→MPL fix)
- `#103` (Phase 1: root + small infra)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

iser-tools/alloyiser/.devcontainer/Containerfile

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
 #
 # Dev Container image for {{PROJECT_NAME}}

iser-tools/alloyiser/.devcontainer/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 //
 // Dev Container configuration for {{PROJECT_NAME}}

iser-tools/alloyiser/.devcontainer/devcontainer.json

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Activate development environment
 # Install direnv: https://direnv.net/
 

iser-tools/alloyiser/.envrc

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitattributes
 
 * text=auto eol=lf

iser-tools/alloyiser/.gitattributes

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # CODEOWNERS - Define code review assignments
 # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners
 #

iser-tools/alloyiser/.github/CODEOWNERS

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 labels: [enhancement]
 body:
   - type: textarea

iser-tools/alloyiser/.github/DISCUSSION_TEMPLATE/ideas.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 labels: [question]
 body:
   - type: textarea

iser-tools/alloyiser/.github/DISCUSSION_TEMPLATE/q-and-a.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Funding platforms for hyperpolymath projects
 # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository