Picosecond laser pulses for quantum dot–microcavity-based single-photon generation by cascaded electro-optic modulation of a narrow-linewidth laser