add bindings to generate proof from uncompressed banderwagon values

[tanishqjasoria]

• add c bindings package
• add functions to generate and verify proof from uncompressed banderwagon values

[kevaundray]

Would be good, if you could add a dummy C sharp project, so that we can merge and keep pushing releases to it!