A plugin for DocExplore enabling the support of media through libVLC