* Added DVD/VCD button and menu for quick DVD device selection to the
    Gnome and Gtk+ interfaces, so that vlc can play a DVD even when
    launched from a GUI.