Pin CasADi and Pymoca versions

These two packages are relatively unstable or known to make substantial (backwards-incompatible) changes. We therefore pin them to release series with bug fixes only. From here on the workflow is to bump the major version manually when making a new release.