Added two backends, replace dep from ocamlnet to cryptokit for the base ...

...library, regenerate OASIS.