mirage-crypto

changes: fix reference to PR

Re-introduce a hook to execute Entropy.timer_accumulator

Add a missing dependency in the configuration detection The configuration detection executable uses `dune-configurator` and so it uses the configuration passed in (currently) `.dune/configurator.v2` in particular to know which C compiler it should invoke. This adds an explicit dependency to this file (with a glob in case the format changes) to make sure a change of compiler triggers a redetection.