Fast integrators with sensitivity propagation for use in CasADi