vlc/libvlc.h: Use libvlc_time_t.