Convert Polonius output in rust to C++ format

[braw-lee]

1. DONE: Added FFIVector<T>, it will be used to convert Polonius output in rust to C++ format.
2. DONE: Provide helper implementations for all required types.
3. DONE: Construct the output and pass to C++.
4. DONE: Use the newly converted data to trigger borrow checking errors.

[braw-lee]

I am currently generating 2 dump files rust_side_polonius_output.txt cpp_side_polonius_output.txt and making sure that the diff command gives no output

this is just to verify that the data was correctly transfered from rust side to cpp side I wrote that stuff just to test while writing code, should I get rid of the dump lines ? @CohenArthur @P-E-P @jdupak

[P-E-P]

I am currently generating 2 dump files rust_side_polonius_output.txt cpp_side_polonius_output.txt and making sure that the diff command gives no output

this is just to verify that the data was correctly transfered from rust side to cpp side I wrote that stuff just to test while writing code, should I get rid of the dump lines ? @CohenArthur @P-E-P @jdupak

If you think this is worthwhile and could help you later you could add them behind a flag.