Solanalib.Init

Single upstream module activated by every Solanalib source file (via the import chain rooted at Solanalib.Primitives.Lamports). Brings Mathlib's linter implementations into scope so the weak.linter.style.* options declared in lakefile.lean can actually fire.

Keep this file imports-only — no declarations.