Downloader: add ability to choose from all supported formats

[flanter21]

Checklist

• I made sure that there are no existing issues - open or closed - which I could contribute my information to.
• I have read the FAQ and my problem isn't listed.
• I'm aware that this is a request for NewPipe itself and that requests for adding a new service need to be made at NewPipeExtractor.
• I have taken the time to fill in all the required details. I understand that the feature request will be dismissed otherwise.
• This issue contains only one feature request.
• I have read and understood the contribution guidelines.

Feature description

In NewPipe, there are settings to change preferred video format. Which one you choose will affect what streams will be available in the video player and downloader. I am envisioning a behaviour that would accommodate seeing options from multiple preferred video formats. Maybe it could just be an additional option at the bottom of the list of formats to "Show all" or a setting in preferences to "Show all" or select multiple preferred formats.

Why do you want this feature?

Many videos on YouTube will have a similar filesize in both mp4 and webm, in which case I will prefer mp4 as it has better battery life. eg. Gsx-woGd8ME

Others will have a huge difference, in which case I would prefer webm. eg. hAWrJCejuw0

It would be see the difference in the downloader without going into settings and switching preferred format.

Additional information

Related #5118 and TeamNewPipe/NewPipeExtractor#488 seem to be about adding more formats. This issue is about existing formats that are supported but not exposed to the user.