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