Kernels and multiple windows for estimation of the Wigner--Ville spectrum of Gaussian locally stationary processes