Retire VLC OPTION; subsequently remove OPTIONs for this port

Details:

• Since the removal of vlc-qt4, gstreamer is the only backend choice. The only OPTION available was choosing between vlc and gstreamer, hence the port no longer supports OPTIONs.
• While on it: Pet portlint

Reported by: makc