Changes

feat(scripts): add full-format support to patch_bin.py

* New encoder/decoder handles all 9 ISSM data codes
  (Boolean / Integer / Double / String / BooleanMat / IntMat /
   DoubleMat / MatArray / StringArray).
* Two patching modes
    - default in-place overwrite when new payload size is unchanged
    - `--rebuild` flag triggers safe whole-file rewrite for
      variable-length updates (e.g. longer strings, larger matrices).
* Record scanner refactored into `iterate_records()` for reuse.
* Added numpy dependency (matrix encoding) and json value parsing.
* CLI now accepts JSON literals for matrices/arrays and booleans.
* Unit tests cover scalar and matrix replacements, size-mismatch
  detection, and rebuild path.
 (commit: 35ecc79)