multiple resolutions for videos

[jellegerbrandy]

For performance, the player should choose different quality/format of video depending on their connection, their device, etc.

This needs a backend part (@yahya) and a frontend integration.

In the long term, the choice will be made by the player itself, but it would make sense to have a dropdown option on the menu with different resolutions (as other video players have)