A small Animation Manager for libgdx