Create GHA to ensure providers JSON are up to date

[martinfleis]

We should create a GHA which would periodically (weekly?) fetch the list of providers from leaflet and compress our providers.json.

[martinfleis]

Closed by #33 and #34