Set VLC as the default video player in Ubuntu 13.04