Leram - Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control