vlc_tick: cast VLC_TICK constants to vlc_tick_t

vlc_tick_t is a int64_t but INT64_C() gives int_least64_t constants. Since we don't want our API's to have potentially changing sizes, we use int64_t for all of them.