Add hacl (with lazy reduction) as an arithmetic backend.

[dfaranha]

This PR changes the library to accept implementations of prime field arithmetic that produce unreduced results at the end of computation. The support was implemented to accommodate a backend taken from the hacl* cryptographic library implementing arithmetic modulo 2^255-19.