Use copy_files instead of symlink for dune to be happy#950

giltho wants to merge 2 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom

giltho:dune-no-symlinkgiltho/charon:dune-no-symlinkCopy head branch name to clipboard