Added two backends, replace dep from ocamlnet to cryptokit for the base library, regenerate OASIS.
Merge pull request #1 from vbmithr/master

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