 Leapfrog integration

The leapfrog integrator alternates half-steps for momentum with a full step for position and a final momentum half-step. It is reversible, symplectic, and second-order accurate.