Measuring the distribution of current fluctuations through a Josephson junction with very short current pulses