Add dynamic filter to GeoJSON source

[KaiHuebner]

Is your feature request related to a problem? Please describe.

I'm using clustering on a GeoJSON source. Until recently it was very hard to filter a cluster layer.
But now Mapbox included filtering the source before clustering:

• mapbox/mapbox-gl-js@ab7dae3
• https://github.com/mapbox/mapbox-gl-js/releases/tag/v1.12.0

Right now I can filter the GeoJSON source on the initial load, like:
<Source id='points' type='geojson' data={data} filter={['==', 'foo', 'bar']} />

Describe the solution you'd like

Is there a way to make the filter dynamic?
I need to change the filter all the time. Not only when the source is initialized.
Can it be included in the filter component? Like:
<Filter sourceId='points' filter={['==', 'foo', 'bar']} />