refactor exact integrator
add badly functioning spring integration
made timestep configurable

This allows tests with variable timesteps, for which some methods perform
better than others vis-a-vis fixed timesteps (Verlet is supposed to handle
it badly)