[ProVerif] Define crypto abstraction layer

[jschneider-bensch]

We need (eventually) a crate that can function as an abstraction over various crypto primitives. The abstract primitive can then wrap any actual implementation of the primitives that will be used to run the Rust crate under analysis, while it should be easy for us to map the abstract calls to pre-defined ProVerif models in the backend.