Load videos in any format

For now, only *.mp4 files can be loaded. The application should allow loading of all video formats that QMediaPlayer accepts. A straightforward way to fix the problem would be to change the argument "Video Files (*.mp4)" of QFileDialog.getOpenFileName to "Video Files (*.*)", but that may be too permissive.