While #4209 is about interfacing blackboxes, this issue is about exporting CasADi expressions as ONNX and importing them back