LeanFrontier v0.1.1

First tested public release after LeanFrontier's first accepted submission.

• Includes the generalized-circle reflection module and its two public theorems.
• Preserves versioned receiver observations and a generated theorem catalogue.
• Fixes the umbrella module so downstream projects can import LeanFrontier directly.

Validated with a fresh downstream Lake project pinned to this tag.