cleanup src/dune: `copy_files` no longer needed because of `include_subdirs`
cleanup src/dune: `copy_files` no longer needed because of `include_subdirs`

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer