Merge branch 'fix/reproducible-archive' into 'master'

[distrib] make-distrib.sh uses the same tar options as 'make distrib' before dune.

Closes #1175

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