Remove Kolmogorovs implementation, as it has been replaced by Boost.