VLC player support

The command line core application now supports playback through the (command line version of) the well-known VLC player (--play vlc and optionally --player-path [path to vlc]). A corresponding option has been added to the linux and OSX graphical interfaces.
This support is currently available for GNU/Linux and OSX and will be ported to Windows later on.