chore: use leansqlite main branch (#378)

The suppress-reducibility-warning branch is no longer needed.

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

Author: kim-em

lakefile.lean

@@ -24,7 +24,7 @@ require Cli from git
   "https://github.com/leanprover/lean4-cli" @ "main"
 
 require leansqlite from git
-  "https://github.com/kim-em/leansqlite" @ "suppress-reducibility-warning"
+  "https://github.com/kim-em/leansqlite" @ "main"
 
 /--
 Obtains the subdirectory of the Lean package relative to the root of the enclosing git repository.