v0.3.1

No source changes since v0.3.0; re-released for updated upstream pins.

Changed

• plugin validate's managed check takes typed ids only (ManagedValue.method(SdkValue.Id.FLOW)), as
  the contract now does: their spelling is the enum's, so the lowercase-words pattern for string ids is gone.
  Two declarations of one id still fail.
• plugin validate's types check knows withers: a call's factory is checked against the parts before the
  withers', and each wither's argument must be a type a host writes.
• A release whose push fails says what git said, and still moves the pins of that module's dependents and
  records its pointer: its tag and back-to-snapshot commit are local by then. Before, the dashboard kept
  pinning a cli snapshot nobody built, and every later release was refused over it.

Added

• botmaker release --sync-pins moves every botmaker.*.version on main to its upstream's main version
  — what the versions gate refuses, which now names the command — one commit per pin, plus the umbrella
  pointer commit. Previews unless --execute; pushes nothing.