Pues con cualquier editor de vídeos, sólo tienes que aumentar la tasa de imágenes (frame rate, número de imágenes por segundo).
Por ejemplo, abres el vídeo con avidemux, Vídeo -> Tasa de imágenes.
Avidemux no sé si está también para Windows, así que ve directamente a por virtualdub (creo que se llama ahora virtualdubmod), es gratuíto y creo que libre.