Main

Hello @cmoineau ,

This MR includes the initial version of files for aidge_export_sonnx module functionality and defines the export_sonnx backend. It sets up the basic structure for exporting and testing the "ADD operator" from AIDGE to formally verified C code. The same approach will be extended to additional operators and the graph structure in future versions. Feedback and suggestions for improvements are welcome.

Rgards, Mariem