Grid: Add support for setting a filtered data provider

[peholmst]

Fixes https://github.com/vaadin/flow-components/issues/3842.

This is my outcome from the AI workshop. Claude wrote all the code according to my specifications. This PR:

• Introduces a new set of methods, setItemsWithFilter that accept a fetch callback, a fetch/count callback pair, and a backend data provider, respectively, with a non-void filter type.
• Introduces a new GridLazyFilterDataView type that makes it possible to set a filter.

This maintains backwards compatibility with the existing methods and types without introducing new generic type parameters.

[CLAassistant]

All committers have signed the CLA.

[sonarqubecloud[bot]]

Quality Gate passed

Issues
5 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud