Evaluating Kolmogorov's distribution