Generation of picosecond pulses from a cavity-dumped synchronously pumped dye laser