Merge branch 'fix/andre/e-acsl-symbolic-links' into 'stable/cobalt'

[e-acsl] remove unnecessary symbolic links

See merge request frama-c/frama-c!4231

src/plugins/e-acsl/tests/builtin/dune

 (subdir
  result/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
 
 (subdir
  result_dev/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))

src/plugins/e-acsl/tests/builtin/utils

-../utils/
\ No newline at end of file

src/plugins/e-acsl/tests/format/dune

 (subdir
  result/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))
 
 (subdir
  result_dev/utils
- (copy_files ../../utils/*))
+ (copy_files ../../../utils/*))

src/plugins/e-acsl/tests/format/utils

-../utils/
\ No newline at end of file