use personal hacl

Max requested to merge maxtori/dune-metal:next into next Feb 19, 2021