Leram - Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems