[!123] [bugfix][DuneSymlinkOrCopy] Don't call dune_symlink_to_source_files...

[!123] [bugfix][DuneSymlinkOrCopy] Don't call dune_symlink_to_source_files when source and binary dir are the same.

Merge branch 'bugfix/symlink-or-copy' into 'master'

See merge request [!123]

  [!123]: Nonestaging/dune-python/merge_requests/123
1 job from master in 7 minutes and 20 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #74309
duneci
debian:9 gcc

00:07:20