Documentation

Upstream documentation branch for hs-crypto and EKMF