Regularization of an autoconvolution problem occurring in measurements of ultra-short laser pulses