Update and release of mp_vlc

- The resize option is restored for this version of the media player, providing the user once again with the option to play the video in its original size, or stretch it over the screen/window (maintaining aspect ratio)
- The cleanup of players that are finished should be improved, hopefully fixing random freezes/crashes.
- Documentation is updated to more correctly describe the plugin and its features