Pulse shortening in an actively mode-locked laser with a frequency-doubling nonlinear mirror