added Henon system as an example of a discrete time dynamical system; changed DynamicalSystem to integrate manually (commons-math ode package is too complex for this simple case); Lyapunov class for computing the maximum lyapunov exponent