Programs: dune-clean-sources.py: Preserve permissions of cleaned files.