LeanHTTP: HTTP Client for Lean 4

LeanHTTP is an HTTP client for Lean 4 that lets you quickly integrate external web services into Lean projects. Start by adding the dependency via `leanpkg add`