Kill warnings + unify flags for ci/dev dune environments#852

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

kill-warningsEasyCrypt/easycrypt:kill-warningsCopy head branch name to clipboard