How to compress a video with vlc