PLATO: A program library for the analysis of nonlinear betatronic motion☆