hacl 0.0.2

Crypto library using formally verified code from the HACL project