Convergence of the Crank-Nicolson extrapolation scheme for the Korteweg-de Vries equation