@hackage casadi-bindings1.8.0.0

low level bindings to CasADi

See the readme on github for installation instructions. Version numbers correspond to the C++ library version numbers. This only works on Debian/Ubuntu at the moment (sorry).