Optimize Dataset.filter to only compute the indices to keep
Maybe worth updating the docs here as well? Yup, will do !
Optimize `Dataset.filter` to only compute the indices of the rows to keep, instead of creating a new Arrow table with the rows to keep. Creating a new table was an issue because it could take a lot of disk space.

This will be useful to process audio datasets for example cc @patrickvonplaten 