{0 OCaml API for HACL* and EverCrypt}

{{!Hacl_star.EverCrypt}EverCrypt}

{{!Hacl_star.Hacl}Hacl}