contains snapshot of e5620ceb7c8a4996520d693f597872806dc0a1d3 
from https://github.com/project-everest/hacl-star

cp -r $(HACL_ROOT)/dist/karamel/krmllib/dist/minimal karmel
cp -r $(HACL_ROOT)/dist/karamel/include/krml karmel/
cp -r ${HACL_ROOT}/dist/karamel/include karmel
