Production of deep blue tunable picosecond light pulses by synchronous pumping of a dye laser