preliminary vlc4 port

- libvlc_event_type_name is no more, simply use the int representation
- libvlc_media_player_stop is now stop_async, impact of that is unclear,
  probably makes no difference for us
- libvlc_media_player_set_time now has a precision switch
- disabling screensaver inhibition has changed format