Reconstruction of the time profile of 20.35 GeV, subpicosecond long electron bunches by means of coherent Smith-Purcell radiation