clean up robustification
cleaner imports
clean up unit tests and restrict max sizes
add Eq to CasadiMat
fix bugs in cat/split/etc

the unit tests revealed these bugs
unit tests cabal
serialize NlpOut / NlpOut'