Coherent heterodyne-assisted pulsed spectroscopy: sub-Doppler two-photon spectra of krypton, characterizing a tunable nonlinear-optical ultraviolet light source