LESET: Lyapunov Exponents and Smooth Ergodic Theory